Cualquier conjunto parcialmente ordenado tiene uno que es dual de este.