relation, internal relation
Rel, bicategory of relations, allegory
reflexive, irreflexive
symmetric, antisymmetric asymmetric
transitive, comparison;
left and right euclidean;
total, connected
extensional, well-founded relations.
functional relations,
entire relations,
equivalence relations, congruence
apartness relations
simple graph
2-congruence
(n,r)-congruence
Edit this sidebar
Relational calculus deals with relations