Conjunto ordenado

Un conjunto ordenado  es un conjunto con una relación de orden dada .