The first assertion is clear. By definition of the D412: Absolute value function, both $0$ and $1$ are mapped to themselves (are fixed points). Thus, $|0| = 0 < 1 = |1|$. $\square$