In both the intensional and extensional logic traditions, we see theories of complex terms. In the extensional tradition, disjunctive and conjunctive terms are interpreted by taking the union and intersection of classes. The conjunctive term AB is interpreted as the intersection of the class A and the class B and the extension of the disjunctive term A+B is understood as the union of the extensions of A and B. 