Dualmente, para cada "y" de "B", "f"("y") es el mayor "x" de "A" tal que "f"("x") ≤ "y".