3-4序偶与笛卡尔积(精)