nLab decidable relation

Contents

Idea

A relation in which either it or its negation is true.

Definition

A decidable binary relation RR on a set SS is a relation such that for all elements aSa \in S and bSb \in S, R(a,b)R(a, b) or ¬R(a,b)\neg R(a, b).

Examples

See also

Created on December 8, 2022 at 17:58:34. See the history of this page for a list of all contributions to it.