| Original | Umsetzung |
|---|---|
| $\{\}=\emptyset$ | $\{\}=\emptyset$ |
| $\{\}=\varnothing$ | $\{\}=\varnothing$ |
| $\{a|X(a)\}$ | $\{a|X(a)\}$ |
| $\{a:X(a)\}$ | $\{a:X(a)\}$ |
| Original | Umsetzung |
|---|---|
| $\{\}=\emptyset$ | $\{\}=\emptyset$ |
| $\{\}=\varnothing$ | $\{\}=\varnothing$ |
| $\{a|X(a)\}$ | $\{a|X(a)\}$ |
| $\{a:X(a)\}$ | $\{a:X(a)\}$ |