设 是两个集合,称 为一个“对子”。当 时,将 与 视为不同的“对子”。满足条件 的不同的“对子” 的个数为 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
分别决定每个元素在两个有名称的集合中的归属,不必枚举全部集合对。
并集须包含给定全集的每个元素,所以每个元素有三种允许归属:只在 、只在 、同时在两者中。四个元素可独立决定归属,且每种决定唯一确定一个有序集合对,因此共有 个。
不允许“两者都不在”;交换两集合通常改变归属状态,符合有序对子约定。两集合相等的情形也已包含在同时选入的状态中。
并集固定的有序集合组计数,可将每个元素编码为有限种隶属状态后相乘。
并集固定时每个元素只有三种允许隶属状态,独立选择即可唯一确定有序集合对;交换两集合不能合并计数。
已记下,谢谢!