Cosa significa ⊂
Dipende dalla convenzione stretta o inclusiva scelta dall'autore. Nella convenzione stretta, A ⊂ B indica un sottoinsieme proprio: ogni elemento di A è in B, ma B contiene almeno un elemento non appartenente ad A. Nella convenzione inclusiva, A e B possono coincidere. Una scelta chiara per evitare dubbi è usare per l'inclusione debole e per escludere l'uguaglianza.
Ernst Schröder introdusse ⊂ nel 1890 per indicare la «subordinazione» logica, ossia l'inclusione completa di un concetto in un altro. Nel tempo le convenzioni si sono divise: alcuni testi accademici usano ⊂ ammettendo l'uguaglianza e la proprietà riflessiva A ⊂ A, mentre altri riservano ⊂ rigorosamente all'inclusione stretta.
Notazione formale matematica e logica.
Controlla la convenzione del testo: ⊂ può consentire o vietare l'uguaglianza.
Fa parte della raccolta
Non confonderlo con
3


Raccolte con ⊂
2Come digitare o trovare ⊂
- Cercalo come
- simbolo di sottoinsieme · segno di sottoinsieme · sottoinsieme proprio · sottoinsieme stretto · inclusione tra insiemi · sottoinsieme LaTeX
- Compare in
- Qualsiasi campo di testo · la forma dipende dal carattere
⊂\2282\subset per inserire ⊂.Codici e codificaPunti di codice: 1
Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.



