Aufgabe:
A := { x ∈ ℤ | x² = 4 }
Problem/Ansatz:
So wie ich das verstehe, wird eine Menge mit dem Definitionsnamen A definiert welche alle ganzen Zahlen als Elemente beinhaltet, nur wenn diese quadriert/"verdoppelt" genau = 4 ergeben.
Genauer (bzw. mathematischer) gesagt: x ist ein Element der Menge ℤ wenn x² = 4 ergibt.
Habe ich das so richtig verstanden und darf man das | Symbol als "wenn" bezeichnen oder bedeutet es in Stein gemeißelt "mit der Eigenschaft" ?