endorelation
binary relation whose domain and codomain coincide
symmetric relation
type of binary relation
asymmetric relation
binary relation such that if A is related to B then B is not related to A
euclidean relation
relation ∼ such that, for every a, b, c, if a∼b and a∼c, then b∼c
irreflexive relation
type of binary relation
antisymmetric relation
binary relation such that if A is related to B and is different from it then B is not related to A
transitive relation
binary relation R with the property that xRy and yRz implies xRz
reflexive relation
binary relation over a set in which every element is related to itself
intransitive relation
mathematical relation that is not transitive