左辺はAとBの直積で
A×B:={(a,b)|a∈Aかつb ∈B}と定義されています。
ゆえに
|A×B|=|A|x|B|は定義より明らかです。