Por otro lado, una función "f" es un adjunto inferior si y solo si cada conjunto de la forma { "x" de "A" | "f"("x") ≤ "b" }, "b" de "B", contiene un elemento supremo.