Si dice intersezione di due insiemi A e B, e si indica con A∩B, l'insieme formato da tutti quegli elementi che appartengono sia ad A che a B. (congiunzione): infatti A˄B è vero se e solo se sia A che B sono veri, così come d'altra parte A∩B è l'insieme degli elementi che appartengono sia ad A che a B.