Lóg.

La proposición cuyo sujeto está contenido en la extensión del predicado.