Relációk

Rendezési reláció

• Reflexív $(x,x)\forall x\in \mathbb{R}$
• Tranzitív $(a,b)\wedge (b,c)\to (a,c)$
• Szimmetrikus $(a,b)\to (b,a)$

Ekvivalencia reláció

• Reflexív $(x,x)\forall x\in \mathbb{R}$
• Tranzitív $(a,b)\wedge (b,c)\to (a,c)$
• Asszimetrikus $(a,b)\wedge (b,a)\text{Akkor eˊs csak akkor, ha }a=b.$