ognielemento che, nella relazione d'ordine, seguetutti gli elementi di un sottoinsieme dato. -funzione
