An axiom schema of set theory which states: if P(x) is a property then

        x : p

is a set. I.e. all the things with some property form a set.

Acceptance of this axiom leads to russell's paradox which is why zermelo set theory replaces it with a restricted form.