笛卡尔积

所谓笛卡尔积,通俗点说就是指包含两个集合中任意取出两个元素构成的组合的集合。假设R中有元组M个，S中有元组N个，则R和S的笛卡尔积中包含的元组数量就是M*N。这个规则可以向多个关系扩展。
上面的例子的笛卡尔积结果就是tj_angela给出的（ac,ad,bc,bd）
属于的含义就是R是d1*d2*……*dn子集，这里其实是相等的。