Änderungsausdruck
|
Annahme
|
x = real
|
x ist eine reelle Zahl.
|
x = integer
|
x ist eine Ganzzahl.
|
x > a
|
x ist eine reelle Zahl größer als a.
|
x ≥ a
|
x ist eine reelle Zahl größer als oder gleich a.
|
x < b
|
x ist eine reelle Zahl kleiner als b.
|
x ≤ b
|
x ist eine reelle Zahl kleiner als oder gleich b.
|
x = RealRange(a, b)
|
x ist eine reelle Zahl im Bereich a < x < b, dabei gilt: a < b.
|
n = even
|
n ist eine gerade Ganzzahl.
|
n = odd
|
n ist eine ungerade Ganzzahl.
|