Suppose we have two sets, and every pairing of elements from one set with elements from the other set results in having elements from the second set never paired. Do these pairings imply that the two sets do not have the same cardinality