Nota
74
[1Y7]È uso scrivere \(a≥ b\) come sinonimo di \(b≤ a\). Se \(a≤ b∧ a≠ b\) scriveremo \(a{\lt}b\); similmente se \(a≥ b∧ a≠ b\) scriveremo \(a{\gt}b\). Attenzione che se la relazione non è totale, non è detto che \(¬ (a≤ b)\) sia equivalente a \(a{\gt}b\).
Vedete a questo proposito l’esercizio [067].