In the mathematical field of descriptive set theory, a pointclass can be called adequate if it contains all recursive pointsets and is closed under recursive substitution, bounded universal and existential quantification and preimages by recursive functions.
[1][2]
This set theory-related article is a stub.
You can help Wikipedia by expanding it.