I am so confused about this part from cppreference, which talks about the partial ordering of constrain