formula_4 என்பது ஒரு திசையன் வெளி. அதனில் formula_1 என்பது ஒரு உட்கணம், அல்லது திசையன்களின் குழு. இக்குழு நேரியல் சார்பின்மை உடையது என்பதன் இலக்கணம் பின்வருமாறு:

(*):formula_6 சூனியத்திசையன் ஆகவேண்டுமானால் formula_7 என்ற எல்லா அளவெண்களும் சூனியங்களாக இருக்கவேண்டும்.

(*) என்ற நிபந்தனைக்குக் கட்டுப்படவில்லையானால், S நேரியல் சார்புடையது எனப்படும்.

குறிப்பு: நேரியல் சார்பின்மை, நேரியல் சார்புடைமை ஆகிய பண்புகள் திசையன்களைக்கொண்ட ஒரு உட்கணம் அல்லது குழுவைப்பற்றியது. தனிப்பட்ட ஒரு திசையனின் பண்பல்ல.

விளக்கம்: S நேரியல் சார்புடையது என்றால் (*) என்ற நிபந்தனைக்குக் கட்டுப்படவில்லை என்று பொருள். அதாவது, ஏதாவது ஒரு, அல்லது சில, அளவெண்கள் formula_7 சூனியமல்லாததாகவே இருக்க,

formula_9

என்ற சமன்பாடும் உண்மையாக இருக்கும். இதனால் நமக்குக் கிடைப்பது, formula_10 என்ற திசையன்களில் ஏதாவதொன்று மற்ற திசையன்களின் நேரியல் சேர்வு என்பதுதான்.

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