🏗️ ΘρϵηΠατπ🚧 (under construction)

product rule
Suppose that a set A is in 1-1 correspondence with A1×A2××An, then |A|=i=1n|Ai|