Addition as disjoint union then counting
form all pairs of the numbers. then count
commutative as which set goes first, do the explicit map
try to just use explicit number examples don't worry about generalizations here.
make the explicit map here