Es la intersección o producto lógico de clases. Dadas dos clases α y β, su producto es la clase que forman todos los elementos de α que también lo son de β. (Por ejemplo: El producto lógico entre las clases «pacifistas» y «personas de derechas» es la clase intersección «pacifistas de derechas»).
Su símbolo es "[math]\cap[/math]" y su definición es [math]\alpha \cap \beta[/math] = df {[math]\hat{x}/ x\in{\alpha }\wedge x\in{\beta }[/math]}
Y su diagrama es:
