Le symbole du sous-ensemble propre indique une relation spécifique entre deux ensembles. Le symbole ressemble à la lettre U majuscule dans une police sans empattement, tournée de 90 degrés dans le sens horaire. Les relations entre sous-ensembles propres constituent le fondement de la logique mathématique. Cela inclut l'algèbre de Boole. Elle est importante pour la conception et le fonctionnement des systèmes de traitement du signal et des ordinateurs.
Supposons qu'il existe deux ensembles A et B. C'est A B que l'on peut écrire l'énoncé "Ensemble A". Cela signifie que chaque élément trouvé dans l'ensemble A est également contenu dans l'ensemble B. Il n'y a aucun élément qui ne soit pas dans B. Cela signifie qu'aucun ensemble ne peut être considéré comme un sous-ensemble. Voici des énoncés vrais qui utilisent le symbole de sous-ensemble correct.
Comparer avec le symbole de sous-ensemble. Voir également théorie des ensembles et symboles mathématiques.
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
Les affirmations suivantes, cependant, ne sont pas vraies :
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
Les ensembles peuvent contenir des choses autres que des nombres. Vous pouvez trouver des points sur un plan ou une surface sphérique, ainsi que des points dans un espace 3D. Les diagrammes de Venn sont des dessins spécialisés qui vous permettent d'exprimer les relations entre sous-ensembles sous la forme d'illustrations spécifiques. L'illustration ci-dessous montre respectivement A et C. Cependant, il n'est pas vrai que B A, ni que A C, ni que B C. En outre, les affirmations suivantes sont fausses : A A, B B, et C C.