The freezing point depression (\( \Delta T_f \)) is calculated using the formula:
\[
\Delta T_f = K_f \times m
\]
In this equation:
- \( K_f \) represents the cryoscopic constant (or freezing point depression constant) of the solvent.
- \( m \) denotes the molality of the solution, defined as moles of solute per kilogram of solvent.
The formula illustrates a direct proportionality between the freezing point depression and the solution's molality.