[PostScript]
Transitive (\rel): trait
  introduces __ \rel __: T, T -> Bool
  asserts forall x, y, z: T
    (x \rel y /\ y \rel z) => x \rel z
[Table of Contents] [Index]