# 📝Binary relation properties

Reflexive:

for every x, x ≤ x

as a graph:

Symmetric:

For every x and y, if x ≤ y then y ≤ x

if there is an edge between vertices, there is an edge in the opposite direction

as a graph

Antisymmetric:

If x ≤ y and y ≤ x, then x = y

if there is an edge between vertices, there is no other edge in the opposite direction

as a graph:

\begin{tikzcd} a \arrow[loop left] \arrow[r] & b \end{tikzcd}

Asymmetric:

$\forall a,b \in X : a R b \rightarrow \lnot (b R a)$ (including $a=b$)

A relation is asymmetric iff it is both antisymmetric and irreflexive

as a graph:

Transitive:

If x ≤ y and y ≤ z, then x ≤ z

as a graph:

Connexity (connex relation):

the relation is defined between all pairs of elements

$\forall x, y \in X, x R y \lor y R x$

Semiconnexity (semiconnex relation):

the relation is defined between all pairs of

*distinct*elements$\forall x, y \in X, x \ne y \rightarrow x R y \lor y R x$