Equality Comparable

This is concept is defined in the STL.

Notations

A		A type that is a model of Assignable
a,b		objects of type A

Valid Expressions

• Equality

  a == b

  Return type:		a type that is convertible to bool
  Semantics:		is true if a is equal to b

• Inequality

  a != b

  Return type:		a type that is convertible to bool
  Semantics:		same as !(a==b)