Definition of freezing point depression

1) The decrease in the freezing point of a solvent caused by the presence of a solute.

2) The decrease in freezing point of a solution, proportional to the concentration of solute.