... C ∈ B ↔ (C ∈ A ∧ P(C)); or in words: Given any set A, there is a set B such that, given any set C, C is a member of B if and only if C is a member of ...