Rel, bicategory of relations, allegory
left and right euclidean;
extensional, well-founded relations.
constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
A relation in which either it or its negation is true.
A decidable binary relation on a set is a relation such that for all elements and , or .
Every set with decidable equality has a decidable equality relation and a decidable denial inequality relation.
In the presence of excluded middle, every relation is a decidable relation.
Created on December 8, 2022 at 17:58:34. See the history of this page for a list of all contributions to it.