irreflexive relation

type of binary relation

well-founded relation
strict order
apartness relation
1