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