Gaseous diffusion is based on Graham's law, which states that the rate of effusion of a gas through a porous barrier is inversely proportional to the square root of the gas's molecular mass. In a container with a porous barrier containing a mixture of two gases, the lighter molecules will pass out of the container more rapidly than the heavier molecules. The gas leaving the container is slightly enriched in the lighter molecules, while the residual gas is slightly depleted. A container wherein the enrichment process takes place through gaseous diffusion is called a diffuser.