அரைக்குலம்: திருத்தங்களுக்கு இடையிலான வேறுபாடு

ஒரு கணம் <math>S</math>, ஈருறுப்புச் செயலி "<math>\cdot</math>" உடன் சேர்ந்து பின்வரும் பண்புகளை[[அடிக்கோள்]]களை நிறைவு செய்யுமானால் அக்கணம் ஒரு அரைக்குலம் எனப்படும்.

'''அடைவுப் பண்பு (Closure)''': ''S'' ல் உள்ள அனைத்து ''a'', ''b'' க்கும் ''a'' · ''b''ன் மதிப்பும் ''S''ன் ஒரு உறுப்புஉறுப்பாக இருக்கும்.