set.Union

Indexed union of a family of sets

set.Inter

Indexed intersection of a family of sets

set.sInter

Intersection of a set of sets.

disjoint

Two elements of a lattice are disjoint if their inf is the bottom element. (This generalizes disjoint sets, viewed as members of the subset lattice.)