  It is shown that the set of all finitary consequence operators defined on any
nonempty language is a join-complete lattice. This result is applied to various
collections of physical theories to obtain an unrestricted supremum
unification.
