📝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:
- (including )
- 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
Semiconnexity (semiconnex relation):
- the relation is defined between all pairs of distinct elements
Backlinks
- 📝 § Math