Ciekawe czy zadziała ? (pobawmy się, renderowanie chwile trwa niestety.)
Własności relacji: Relacja zwrotna:
$$
\forall x \in A \qquad xRx$$
Relacja przeciwzwrotna:
$$
\forall x \in A \qquad x\not Rx$$
Relacja symetryczna:
$$
xRy \Rightarrow yRx$$
Relacja przeciwsymetryczna:
$$
xRy \Rightarrow y\not Rx$$
Relacja antysymetryczna:
$$
xRy \cap yRx \Rightarrow x=y$$
$$
(xRy \cap y\neq x \Rightarrow y \not Rx)$$
Relacja przechodnia:
$$
xRy \cap yRz \Rightarrow xRz$$
Jak widać działa, oczywiście nie wszystko dokładnie tak jak chcemy bo znaki negacji są przesunięte, ale tak czy inaczej można pisać wzory na stronie w prosty sposób i to jest bardzo miła funkcjonalność.