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