For any set A and any property P, there exists a subset of A containing exactly those elements that satisfy P.