積集合
#有限交叉
finite join