Definizione
38
[227]Per comodità viene usato il connettivo \(a⊆ b\) per indicare che \(a\) è un sottoinsieme di \(b\); formalmente questo si definisce come
\[ ∀ x, x∈ a ⇒ x∈ b~ ~ . \]
\(b⊇ a\) è equivalente a \(a⊆ b\).
Ovviamente \(a=b \iff ((a⊆ b) ∧ (b⊆ a) )\). Notate che \(a⊆ a\).