A solution will solidfy (freeze) at a lower temperature than the pure solvent. This is the colligative property called freezing point depression.
The more solute dissolved, the greater the effect. An equation has been developed for this behavior. It is:
ΔT = i Kf mThe temperature change from the pure to the solution is equal to two constants times the molality of the solution. The constant Kf is actually derived from several other constants and its derivation is covered in textbooks of introductory thermodynamics. Its technical name is the cryoscopic constant. The Greek prefix cryo- means "cold" or "freezing." In a more generic way, it is called the "molal freezing point depression constant."