sottoinsieme di
Un sottoinsieme, una collezione di parti di una collezione, è anche chiamato insieme di parti. Se X e Y sono set e tutti gli elementi di X sono elementi di Y, ci sono: ▪ X è un sottoinsieme di Y (o incluso in Y) ▪ X ⊆ Y ▪ Y è il padre di x (Compreso X); Y ⊇ X. Tutti i set Y sono i loro sottoinsiemi propri. Un sottoinsieme di Y che non è uguale a Y viene chiamato un sottoinsieme vero. Se X è un vero sottoinsieme di Y, scrivere X ⊊ Y. "È un sottoinsieme di ..." è chiamato inclusione. ...