A generic bijection map, where the two related sets are named A and B
This is, a map with an equal number of A items and B items that is 1-to-1 and onto.