Definiendo un conjunto parcialmente ordenado.