Equals

Two objects are equals if any computation that uses either one will produce identical results

This can only be true if the objects are Immutable.

Has:

• Reflexivity
• Symmetry
• Transitivity