Em termos de conjuntos, o que expressa a proposição universal "Todos A são B"?

Que A está contido em B: \(A \subseteq B\).

Explicação:
Logicamente equivale a \( \forall x\,(x\in A \rightarrow x\in B)\).
Geometricamente, a região que representa A está inteiramente dentro da região que representa B; não implica que \(A=B\), pois B pode ter elementos fora de A.

Exemplo:
Se \(A\) = conjunto dos gatos e \(B\) = conjunto dos mamíferos, então "Todos os gatos são mamíferos" significa \(A \subseteq B\).
Por exemplo, se \(g\in A\) (g é um gato) então \(g\in B\) (g é mamífero); entretanto, existe \(m\in B\) que não pertence a \(A\) (por exemplo, um cão).