OurBigBook.comSite Source code

Axiom schema of specification

For each formula

φ

, the axiom schema of specification forms the subset

{z \in x : φ (z)}

of any set

x

. When interpreting the schema inside a class model, the formula must be evaluated internally.

Table of contents 65 1
- Relativized closure criterion for separation Axiom schema of specification 31

 Ancestors (5)

 Incoming links (2)

 Synonyms (1)

Axiom schema of separation