friends and relations

set

实现了一些集合操作，没什么好说的

pair

书中的 pair 定义为长为 2 的 list，与实际上不同。

fun

从函数映射的角度看这种...类似 map 的结构

定义 fun? 来判定映射, fullfun? 来判定双射。这不该是满射吗

应该说 map 天然就是满射，所以他这里只判断了单射，于是满射。

这章最后用两种办法判定双射，一种是直接看陪域有没有重复，也就是是不是单射。

问有没有另一种实现，给出的答案是判定其逆映射是不是映射。

嗯...