Which rule must a hash-map key implementation preserve?

Which rule must a hash-map key implementation preserve?

1. Keys considered equal must produce the same hash value.
2. Different keys must always produce different hash values.
3. The hash value alone decides whether two keys are equal.