I would not be able to post anything on this forum without Wikipedia...
Namely, the section about cardinal arithmetic defines cardinal multiplication as the cardinality of the Cartesian product of the given sets. It also says that if the axiom of choice is accepted (which it usually is in regular mathematics), then for two non-zero cardinals and , if at least one of them is infinite, then , which, interestingly, equals .