Separation: For every set \(A\) and every given property, there is a set containing exactly the elements of \(A\) that have that property. A property is given by a formula \(\varphi\) of the first-order language of set theory.