User:Adelfino

From Wikipedia, the free encyclopedia

\forall a, b \in X a R b \and b R a \Rightarrow b = a
\forall a, b \in X a R b \Rightarrow b !R a
\forall a, b \in X a R a
\forall a, b \in X a R b \Rightarrow b R a
\forall a, b, c \in X a R b \and b R c \Rightarrow a R c