கேள்வி: நீக்கல் பண்பு - விளக்கம் என்பது என்ன?
பதில்: என்ற குலமனின் உறுப்பு ''a'' ஆனது, இடது நீக்கல் பண்பு கொண்டுள்ளது என்பது, என்ற சார்பு ஒரு உள்ளிடுகோப்பு இருக்குமென்பதைக் குறிக்கிறது. அதாவது சார்பு ''g'' ஒரு உள்ளிடு கோப்பு எனில், : சமன்பாட்டிலுள்ள மாறி ''x'' மட்டுமேயாகவும், அச்சமன்பாட்டை நிறைவு செய்யக்கூடிய வகையான ''x'' இன் மதிப்பு ஒன்றேயொன்று மட்டுமாகவும் இருக்கும். மேலும் நுட்பமாக இதனைப் பின்வருமாறு விளக்கலாம்: ''x'' இன் அனைத்து மதிப்புகளுக்கும், : என்பதை நிறைவுசெய்யும் வகையில் ''g'' இன் நேர்மாறாக ''f'' சார்பை வரையறுக்க முடியும். இதனையே கீழ்வருமாறும் கூறலாம்: ''M'' இலுள்ள அனைத்து ''x'' , ''y'' உறுப்புகளுக்கும், : எனில், ஆகும். என்ற குலமனின் உறுப்பு ''a'' ஆனது, வலது நீக்கல் பண்பு கொண்டுள்ளது என்பது, என்ற சார்பு ஒரு உள்ளிடுகோப்பு இருக்குமென்பதைக் குறிக்கிறது. அதாவது சார்பு ''h'' ஒரு உள்ளிடு கோப்பு எனில், ''M'' இலுள்ள அனைத்து ''x'' , ''y'' உறுப்புகளுக்கும், :, எனில் ஆக இருக்கும்.