Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
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 $ (ver ejemplo).
Su símbolo es
y su definición
Y su diagrama es: