Intensionale Definition

${x \in B ∣ P (x)}$ definiert die Menge aller Elemente $x$ aus $B$ , für die das Prädikat $P (x)$ wahr ist.
- Die Angabe von $B$ kann fehlen, wird aber empfohlen.
$P (x)$ kann umgangssprachlich oder durch eine logische Formel angegeben werden.
Voraussetzung ist, dass $P (x)$ für jedes $x$ einen Wahrheitswert besitzt.