cpp/experimental/ranges/concepts/EqualityComparable

@1@ The concept specifies that the comparison operators  and  on  reflects equality:  yields  if and only if the operands are equal.

@@ is satisfied only if, given objects  and  of type,  is  if and only if  and  are equal. Together with the requirement that is equality preserving, this implies that  is symmetric and transitive, and further that  is reflexive for all objects  that are equal to at least one other object.

@2@ The concept specifies that the comparison operators  and  on (possibly mixed)  and  operands yield results consistent with equality. Comparing mixed operands yields results equivalent to comparing the operands converted to their common type.

@@Formally, is satisfied only if, given any lvalue  of type  and any lvalue  of type, and let  be ,.