(There are finitely many maps for each possible dimensional difference, and countably many possible dimensional differences.)
(There are finitely many maps for each possible dimensional difference, and countably many possible dimensional differences.)