Table of Contents - 20.33.4.1. Equinumerosity of sets of relations and maps
Because
is an instance of the law of exponents:
we are led to see that
is true for any two sets, and , and thus there exist one-to-one
onto relations between each of these three sets of relations.