asymmetric relation
binary relation such that if A is related to B then B is not related to A
strict order
irreflexive transitive relation
empty relation
type of binary relations
binary relation such that if A is related to B then B is not related to A