Supóngase que "S" es un conjunto parcialmente ordenado.