Il simbolo del sottoinsieme appropriato indica una relazione specifica tra due insiemi. Il simbolo ha l'aspetto della lettera maiuscola U in un carattere sans-serif, ruotato di 90 gradi in senso orario. Le relazioni tra sottoinsiemi propri costituiscono il fondamento della logica matematica, inclusa l'algebra booleana, che è importante nella progettazione di computer e sistemi di elaborazione del segnale.
Supponiamo che ci siano due insiemi A e B. L'affermazione "L'insieme A è un sottoinsieme appropriato dell'insieme B" è scritta A 
B. Ciò significa che ogni elemento contenuto nell'insieme A è contenuto anche nell'insieme B, e c'è almeno un elemento in B che non è contenuto in A. Quindi, nessun insieme è un proprio sottoinsieme di se stesso.
Di seguito sono riportati alcuni esempi di affermazioni vere che utilizzano il simbolo di sottoinsieme appropriato:
{1, 2, 3, 4, 5, ...} {0, 1, 2, 3, 4, ...}
{0, 1, 2, 3, 4} {0, 1, 2, 3, 4, ...}
{-2, -3, 4} {-2, -2.5, -3, -3.5, -4}
Le seguenti affermazioni, tuttavia, non sono vere:
{0, 1, 2, 3, 4, ...} {0, 1, 2, 3, 4, ...}
{0, 1, 2, 3, 4, ...} {0, -1, -2, -3, -4, ...}
{0, 1, 2, 3, 4, ...} {0, 1, 2, 3, 4}
Gli insiemi possono contenere cose diverse dai numeri. Esempi sono punti su un piano, punti su una superficie sferica e punti nello spazio tridimensionale (3D). Le corrette relazioni di sottoinsiemi possono essere espresse in termini di illustrazioni specializzate chiamate diagrammi di Venn. Nell'illustrazione sotto, A B e C B. Tuttavia, non è vero che B A, né è vero che A C, né è vero che B C. Inoltre, le seguenti affermazioni sono false: A A, B B e C C.
 |
Confronta il simbolo del sottoinsieme. Vedi anche teoria degli insiemi e simboli matematici.