Definition of cryoscopic constant used to measure the freezing point depression with the addition of a solvent.