Concepto de la lógica de clases que especifica si el campo de acción de una proposición es total o parcial.