A law that describes the vapor pressure lowering of a solvent in the presence of a nonvolatile solute.