Il simbolo del sottoinsieme indica una relazione specifica tra due insiemi. Il simbolo assomiglia alle lettere maiuscole U e io posizionate vicine tra loro in un carattere sans-serif e ruotate di 90 gradi in senso orario. Le relazioni dei sottoinsiemi costituiscono la base 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 dell'insieme B" è scritta A 
B. Ciò significa che ogni elemento contenuto nell'insieme A è contenuto anche nell'insieme B. Ogni insieme è, per impostazione predefinita, un sottoinsieme di se stesso. Inoltre, l'insieme vuoto (chiamato anche insieme nullo) è un sottoinsieme di qualsiasi insieme.
Di seguito sono riportati alcuni esempi di affermazioni vere che utilizzano il simbolo del sottoinsieme:
{1, 2, 3, 4, 5, ...} {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, ...}
{-2, -3, 4} {-2, -2.5, -3, -3.5, -4}
Le seguenti affermazioni, tuttavia, non sono vere:
{-1, 0, 1, 2, 3, ...} {0, 1, 2, 3, 4, ...}
{0, 1, 2, 3, 4, ...} {0, -1, -2, -3, -4, ...}
{-2, -2.5, -3, -3.5, -4} {-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 relazioni dei sottoinsiemi possono essere espresse in termini di illustrazioni specializzate chiamate diagrammi di Venn. Nell'illustrazione sotto, A B e C B. Sono vere anche le seguenti affermazioni: A A, B B e C C. Tuttavia, non è vero che B A, né è vero che A C, né è vero che B C.
 |
Confronta il simbolo del sottoinsieme appropriato. Vedi anche teoria degli insiemi e simboli matematici.