Ir
reflexiv
ity:
forall x in X: x!Bx
source
jl@crush.caltech.edu
index
strict_partial_order