Henry's law may be derived by setting the chemical potentials of carbon dioxide in the two phases to be equal to each other. Equality of chemical potential defines chemical equilibrium. Other constants for dynamic equilibrium involving phase changes, include partition coefficient and solubility product. Raoult's law defines the equilibrium vapor pressure of an ideal solution