[PostScript]
Equivalence: trait
  includes
    (Reflexive, Symmetric, Transitive)(\equiv for \rel)
[Table of Contents] [Index]