>>544
|H| * |K| = # { (h, k) | h ∈ H, k ∈ K }
は分かりますか
# は集合の元の個数の意味です。