---
tag: 9RAVFYZQDV
kind: concept
name: Primitive recursive set
sources:
  - wikipedia: en:43580500@r1360947732
    locator: Glossary of set theory, section P
    note: adopted
    mention: wikipedia://en/43580500#E1OG
    sections: [Summary]
inventory: [TBHMGJ4228]
---

## Summary

A set whose characteristic function is a primitive recursive function, indicating that membership in the set can be decided by a computable process.