See [[곱집합,product_set]].