A _property_ is given by a formula φ� of the first-order language of set theory.