Insieme ordinato

Un insieme si dice ordinato se tra i suoi elementi si può stabilire una relazione d'ordine. Una relazione d'ordine può essere definita in modo rigoroso, ma per i nostri scopi è sufficiente intuire ciò che significa e per una volta può andar più che bene il significato comune, ovvero quello di un insieme nel quale è possibile stabilire quale tra due elementi qualunque è maggiore.