[277]Prerequisiti:[276]↺↻,[26H]↺↻.Usando le proprietà in [26H]↺↻ e assumendo che \(≤\) sia una relazione d’ordine totale (come effettivamente dimostreremo), mostrate che
[278]↺↻