किसी पदार्थ के हिमांक को उस तापमान के रूप में परिभाषित किया जाता है जिस पर ताप पर उसके द्रव का वाष्प दाब संबंधित ठोस के वाष्प दबाव के बराबर होता है। चूँकि एक गैर-वाष्पशील विलेय को मिलाने से विलायक का वाष्प दबाव हमेशा कम हो जाता है, इसलिए, यह निम्न दाब पर और इसलिए कम तापमान पर ठोस अवस्था के साथ साम्यावस्था में होगा।
शुद्ध विलायक और उसके विलयन के हिमांक बिंदु के बीच के अंतर को हिमांक अवनमन कहा जाता है।
तनु विलयनों के लिए राउल्ट के नियम से,
शुद्ध विलायक के लिए,
और
स्थिरांक हैं। इसलिए,
.............(1)
जहाँ, K एक स्थिरांक है, जिसे हिमांक अवनमन स्थिरांक कहते हैं।
जब
= 1 (एक मोल विलेय) और
= 1 ग्राम
इस प्रकार, अवनमन स्थिरांक हिमांक बिंदु के अवनमन के बराबर होता है जो सैद्धांतिक रूप से तब उत्पन्न होता है जब एक गैर-वाष्पशील विलेय का एक मोल 1 ग्राम विलायक में घुल जाता है।
यदि
और
K' = आणविक हिमांक अवनमन स्थिरांक
K = 100 K'
यदि
और
मोलल हिमांक अवनमन स्थिरांक
(मोलल हिमांक अवनमन स्थिरांक )
इसे 1000 ग्राम विलायक में 1 मोल विलेय घोलने पर उत्पन्न हिमांक अवनमन के रूप में परिभाषित किया जाता है।
अतः
