The equality comparison operator is required. The (==) expression has a bool return type and specifies that for x == y and y == z that x will equal z. In addition the reciprocal is also true. That is, i f x == y then y equals x. Also i f x == y and y == z then z will be equal to x.