Description: If the first argument of an operation given by a maps-to rule, where the
first argument is a pair and the base set of the second argument is the
first component of the first argument, is not an ordered pair, then the
value of the operation is the empty set. (Contributed by Alexander van
der Vekens, 10-Oct-2017)