---
tag: T62EJ749R5
kind: concept
name: Effectively decidable set
sources:
  - wikipedia: en:43580500@r1360947732
    locator: Glossary of set theory, section E
    note: adopted
    mention: wikipedia://en/43580500#BE0O
    sections: [Summary]
inventory: [G0H9A6BCNC]
---

## Summary

A set for which there exists an algorithm that can determine, for any given element, whether it belongs to the set.