[PostScript]
Irreflexive (\rel): trait
  introduces __ \rel __: T, T -> Bool
  asserts forall x: T
    ~(x \rel x)
[Table of Contents] [Index]