sen rezumo pri redakturo
m Joao Xavier movis la pagino Relaciono di rango a Rangala relato |
Nula rezumo di redakto |
||
Lineo 1:
'''
{{revizo}}
== Prizenteso ==
=== Principala
* '''''Reflektita''''' : binara
:* '''reflekiva''', kad ol pozas omni elementi en
::<math> \forall x \in E , \ x \mathcal{R} x \,</math>
:* '''nereflektiva''', kad ula elemento es en
::<math> \forall x \in E , \ x \not \!\,\mathcal{R} x \,</math>
:* '''senreflektiva''' en la altra kazi.
* '''''Simetreso''''' : binara
::<math> \forall x \in E , \forall y \in E , \ ( x \mathcal{R} y ) \Rightarrow ( y \mathcal{R} x ) \,</math>
:* '''(febla) antisimetreso''', kad la distingata elementi ne es ul-tempe en reciproka
::<math> \forall x \in E , \forall y \in E , \ [ ( x \mathcal{R} y ) \wedge ( y \mathcal{R} x ) ] \Rightarrow [ x = y ] \,</math>
:* '''dis-simetreso''' n la altra kazi.
**
::<math> \forall x \in E , \forall y \in E , \ ( x \mathcal{R} y ) \Rightarrow ( y \not \!\,\mathcal{R} x ) \,</math>
::on povas montrar ke ol es equivalanta per binara
* '''''Transitivita''''' : binara
:* '''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 :
::<math> \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 ] \,</math>
Lineo 31:
=== Mi-rango ===
[[
| |||