Separation from a magma of a gaseous phase that moves relative to the magma and releases dissolved substances, usually in the upper levels of the magma, when it enters an area of reduced pressure.