Template:cpp/concepts/equality preservation
From cppreference.com
Equality preservation
Expressions declared in requires expressions of the standard library concepts are required to be equality-preserving (except where stated otherwise).