Rangala relato
Rangala relato en ensemblo E es binara relato en ta ensemblo ke permesas di komparar sua elementi inter li di koheranta maniero. Ensemblo provizita di Rangala relato es ranga ensemblo o simple rango.
Prizenteso redaktar
Precipua propraji di la rangala relato redaktar
- Reflektita : binara relato es :
- reflekiva, kad ol pozas omni elementi en relato nam li mem, to es kad :
- nereflektiva, kad ula elemento es en relato nam li mem, to esas kad :
- senreflektiva en la altra kazi.
- Simetreso : binara relato es imajo di sua imaji, to es kad :
- (febla) antisimetreso, kad la distingata elementi ne es ul-tempe en reciproka relato, to es kad :
- dis-simetreso n la altra kazi.
![{\displaystyle \forall x\in E,\forall y\in E,\ [(x{\mathcal {R}}y)\wedge (y{\mathcal {R}}x)]\Rightarrow [x=y]\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d845a39cd2372181a152a9323455043be798ec9)
- relato esos forte antisimetreso (o sensimetreso) kad ula duo di elementi, distingata o ne, es ul-tempe en reciproka, to es kad :
- on povas montrar ke ol es equivalanta per binara relato di esar forte antisimetreso o di esar febla antisimetreso e senreflektiva.
- Transitivita : binara relato es :
- transitiva, kad omni elemento es imajo di omna antecedento di sua antecedenti, to es kande kad elemento es imajo di altra elemento, lore omni sua imaji es imaji di ta altra elemento, o ankore kad :
- antitransitiva, kad omna elemento es imajo di ul-tempe antecedento di sua antecedenti, to esas kad :
- cirkulero, kad omna elemento es antecedento di sua antecedenti, to es kad :
- anticirkulero, kad omna elemento es antecedento ul-tempe antecedento di sua antecedenti, to es kad :
![{\displaystyle \forall x\in E,\forall y\in E,\forall z\in E,\ [(x{\mathcal {R}}y)\wedge (y{\mathcal {R}}z)]\Rightarrow [x{\mathcal {R}}z]\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd3001a94ccbdb178056bac2ef7ceec15f31ca57)
![{\displaystyle \forall x\in E,\forall y\in E,\forall z\in E,\ [(x{\mathcal {R}}y)\wedge (y{\mathcal {R}}z)]\Rightarrow [x\not \!\,{\mathcal {R}}z]\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b43685a697d3edb12364af457156db47b76da3b)
![{\displaystyle \forall x\in E,\forall y\in E,\forall z\in E,\ [(x{\mathcal {R}}y)\wedge (y{\mathcal {R}}z)]\Rightarrow [z{\mathcal {R}}x]\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6144dd3951fb25fe4f13f2ed6a94826621751c9)
![{\displaystyle \forall x\in E,\forall y\in E,\forall z\in E,\ [(x{\mathcal {R}}y)\wedge (y{\mathcal {R}}z)]\Rightarrow [z\not \!\,{\mathcal {R}}x]\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a62fbd25ffc6ac99fdabb36d3b9a68b3a64b6b3)
Mi-rango redaktar
Por permisar la komparo di elementi, binara relati devas ante esar antisimetreso ; por kam ta komparo es koheranta per l'ensemblo di elementi, ol facas ke la relato sive anke transitiva.