这样的map，最好用这样的箭头来表示

我们有了function之后

我们就能做union

join

等等能够在集合上面做的操作

这里都能做了

这个朝着左边的三角就是收到什么的限制的意思

这个大p

意思是power set，就是这个里面的所有的子集，2的n次方个

这样其实来说就是能够做excel的select的效果

function overriding

这是一个能够更新这个集合关系的方法

take everyone f1， 只是把f2的东西更新上去就行了

把f1的和f2相关的东西搞掉

之后把剩下的东西放在里面

subset of the 笛卡尔积，叫做partial啥么的