Freezing point depression is a colligative property observed in solutions that results from the introduction of solute molecules to a solvent. The freezing points of solutions are all lower than that of the pure solvent and is directly proportional to the molality of the solute.