Nella teoria degli insiemi una sottoclasse è una classe i cui elementi sono tutti contenuti entro un'altra classe; quindi una classe, che chiamiamo B, è una sottoclasse di un'altra classe, che chiamiamo A, se ∀ x : x ∈ B ⇒ x ∈ A {\displaystyle \forall x:x\in B\Rightarrow x\in A} oppure, a parole: per ogni elemento x, se x appartiene a B allora x appartiene ad A.Possiamo anche dire, in altri termini, che B è una sottoclasse di A se tutti gli elementi di B sono anche elementi di A. Per indicare che la classe B è una sottoclasse della classe A si usa la scrittura: B ⊆ A {\displaystyle B\subseteq A} che si legge: "B è contenuto in A". Wikipedia