antisymmetric relation
binary relation such that if A is related to B and is different from it then B is not related to A
equality
mathematical relationship asserting that two quantities have the same value
asymmetric relation
binary relation such that if A is related to B then B is not related to A
partial order
reflexive antisymmetric transitive binary relation