[PostScript]
Symmetric (\rel): trait
  introduces __ \rel __: T, T -> Bool
  asserts forall x, y: T
    x \rel y == y \rel x
  implies Commutative (\rel for \circ, Bool for Range)
[Table of Contents] [Index]