Description: The forward direction of the ordering properties of negation. (Contributed by Scott Fenton, 3-Feb-2025)