---
tag: 911YGM1YND
kind: concept
name: Effectively decidable relation
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section E
    note: adopted
    mention: wikipedia://en/76765067#FKWK
    sections: [Summary]
inventory: [R6S3M26S7N]
---

## Summary

A binary relation for which there exists a mechanical method to determine, for any given pair of elements, whether the relation holds between them.