Go backward to Equivalence RelationGo up to TopGo forward to Example |

*Reflexivity:*every node has an arrow to itself,*Symmetry:*if there is an arrow from node`a`to node`b`, then there is also an arrow from`b`to`a`,*Transitivity:*if there is an arrow from node`a`to node`b`and an arrow from`b`to some node`c`, then there is an arrow from`a`to`c`.

Author: Wolfgang Schreiner

Last Modification: January 12, 2000