Supóngase que ("P", ≤) es un conjunto parcialmente ordenado.