disjunction lattice