A collection of mathematical sets and collections whose elements are themselves mathematical sets or collections. A set or collection, SETORCOL, of sets or collections is an instance of disjoint set or collection just in case the elements of SETORCOL are mutually disjoint -- that is, no two elements of SETORCOL have any elements in common.