---
tag: QQQRJA90EP
kind: concept
name: Primitive recursive relation
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section P
    note: adopted
    mention: wikipedia://en/76765067#6620
    sections: [Summary]
inventory: [ZE7710JJ6S]
---

## Summary

A relation that can be defined by primitive recursive functions, characterizing a subset of computable relations.