Topics: Discrete Mathematics
Let be a relation and be its matrix.
We can use or the relation’s digraph to easily determine the properties of :
- Reflexive if and only if has s in its diagonal.
- Symmetric if and only if all arrows in the digraph are bidirectional.
- Antisymmetric if and only if between any two vertices there is, at least, one arrow.
- Transitive if and only if the digraph holds the property that if there exist arrows from to and from to , then there’s one from to .