Supónganse dos conjuntos parcialmente ordenados ("A", ≤) y ("B", <=).