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 mettere in ordine dal più piccolo al più grande gli elementi.