A solution typically has a measurably lower melting point than the pure solvent. A more formal treatment of freezing point depression is given by
Ebbing.
