Expresión de modificación
|
Suposición
|
x = real
|
x es un número real.
|
x = integer
|
x es un número entero.
|
x > a
|
x es un número real mayor que a.
|
x ≥ a
|
x es un número real mayor o igual que a.
|
x < b
|
x es un número real menor que b.
|
x ≤ b
|
x es un número real menor o igual que b.
|
x = RealRange(a, b)
|
x es un número real del rango a < x < b, donde a < b.
|
n = even
|
n es un número entero par.
|
n = odd
|
n es un número entero impar.
|