---
tag: RSHM6MH5Q8
kind: concept
name: Semi-decidable set
sources:
  - wikipedia: en:43580500@r1360947732
    locator: Glossary of set theory, section S
    note: adopted
    mention: wikipedia://en/43580500#Y0OS
    sections: [Summary]
inventory: [NK32CPYG1X]
---

## Summary

A set for which membership can be determined by a computational process that halts and accepts if the element is a member, but may not halt if the element is not a member.