"F" என்ற சிக்கலெண்கள் உட்களத்தின் மீதான திசையன் வெளி "V" இல் வரையறுக்கப்படும் நெறிமம், பின்வரும் பண்புகளையுடைய சார்பு ஆகும்.

formula_1 "a" ∈ "F" மற்றும் formula_1 u, v ∈ "V",

முதல் பண்பின்படி,
எனவே இரண்டாவது பண்பான முக்கோணச் சமனிலிப்படி, 

முதலிரு பண்புகள் மட்டும்கொண்ட நெறிமம், அரைநெறிமம் ஆகும்.

திசையன் வெளி "V" இல் வரையறுக்கப்பட்ட நெறிமங்கள் (அல்லது அரைநெறிமங்கள்) "p" , "q" இரண்டும் சமான நெறிமங்களாக இருக்க வேண்டுமானால், "V" இல் உள்ள அனைத்து திசையன்கள் v க்கும்:

தனி-மதிப்பு நெறிமம்
குறியீடு
எடுத்துக்காட்டுகள்
வரையறை