R-invariant aks ettirishlar quyidagi xossalari tufayli muxim axamiyatga ega: agar  elementlar shunday bo`lsaki,  bo`lsa, bunday  elementlar R- ekvivalent bo`lmaydi. SHunday qilib, R- invariantlar R-ekvivalent sinflarni farq qilish vositasi sifatvda axamiyatga ega.
Ta`rif. R-invariantlar  tizimi quyidagi shartni qanoatlantirsa, u to`la deyiladi: xar qanday ikkita R-ekvivalent bo`lmagan elementlar uchun shunday R-invariynt  mavjudki, .
Keyingi boblarda R- invariant funkqiyalarni ko`p uchratamiz.
Do'stlaringiz bilan baham: |
