implement antichain meet and join operations for constructing hypergraphs lattice