Axiom schema of specification

Concept in axiomatic set theory From Wikipedia, the free encyclopedia