这样的map,最好用这样的箭头来表示
我们有了function之后
我们就能做union
join
等等能够在集合上面做的操作
这里都能做了
这个朝着左边的三角就是收到什么的限制的意思
这个大p
意思是power set,就是这个里面的所有的子集,2的n次方个
这样其实来说就是能够做excel的select的效果
function overriding
这是一个能够更新这个集合关系的方法
take everyone f1, 只是把f2的东西更新上去就行了
把f1的和f2相关的东西搞掉
之后把剩下的东西放在里面
subset of the 笛卡尔积,叫做partial啥么的