relazione d'ordine

In matematica, una relazione binaria  entro un insieme , cioè un sottoinsieme di , si dice relazione d'ordine (o semplicemente ordine) su ) se soddisfa le seguenti tre proprietà:riflessività: per ogni vale antisimmetria: per ogni se e , allora transitività: per ogni se vale e , allora vale anche .
Per saperne di più visita Wikipedia.org...