Con un razonamiento similar (o aplicando sin más el principio de dualidad de la teoría del orden), encontramos que "f"( "f"("y")) ≤ "y", para todo "y" de "B".