Suppose the set F of functions for a framework are all of gen-kill form. That is, the domain V is the power set of some set, and f (x) = G [ (x K) for some sets G and K.
Prove that if the meet operator is either (a) union or (b) intersection, then the framework is distributive.