[lpetrich]

Another exponentiation identity also true of infinite sets is
(|A|*|B|)|C| = |A||C| * |B||C|

This can be seen from a function f(c) = (a,b) with a in A, b in B, and c in C. It can be expressed as f(c) = (f1(c),f2(c)).

Now for some addition results.

aleph-0 + aleph-0 = aleph-0 (interleaving)
aleph-0 + C = C (pushing in an infinite series)
C + C = C (dividing a line segment in two)