ΘρϵηΠατπ

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