笛卡尔乘积特征构造