Inclusione (matematica)
Nella matematica l'inclusione è una relazione dell'ordine tra i set. Diciamo che un insieme A è incluso in un insieme B se tutti gli elementi di A sono anche elementi di B. In questo caso, A è un sottoinsieme o un sottoinsieme di B o B è over- set di A. Questa relazione non è a priori simmetrica, perché ci possono essere elementi del secondo set che non appartengono al primo set. Più precisamente, c'è inclusione in entrambe le direzioni tra due set se e solo se questi due set sono uguali. L'inclusione è per lo più nota con il simbolo "⊂" introdotto da Schröder, anche se molti autori riservano questo simbolo ad una inclusione rigorosa, seguendo dunque lo standard ISO. L'inclusione nel senso più ampio può essere notata con il simbolo "⊆" di Felix Hausdorff, per analogia con i simboli di comparazione numerica.