If two sets are in bijective correspondence they are the same size.