univers del discurs

m
Lògica

Expressió, introduïda per A.Morgan i difosa per G.Boole, que significa la classe de tots els x tals que X=X, i que és aplicable, així mateix, a la lògica de les relacions.