离散第2讲 广义并交、笛卡尔、归纳定义