« Root
Definition.
Equivalence Relation
[005A]