交类

普通逻辑理论体系重要概念之一。如果类C中含有类A和类B的一切共有的元素，并且此外不含有其它元素，则类C叫做类A和类B的交类，记作