Compares two keys for equality (Specifications)
Arguments: key1 - the first key key2 - the second key