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
A weak order could refer to either
a total preorder
a strict weak order
Created on December 25, 2023 at 21:53:03. See the history of this page for a list of all contributions to it.