Sottoinsieme proprio in LaTeX (\subsetneq)

Dove si usa

Simbolo di sottoinsieme con la barra inferiore tagliata: l'insieme a sinistra è contenuto in quello a destra ma non è uguale a esso.

\subsetneq esprime esplicitamente l'inclusione stretta, eliminando l'ambiguità di \subset, che alcuni testi trattano come non stretta. Compare in catene come \mathbb{N} \subsetneq \mathbb{Z} \subsetneq \mathbb{Q} e negli argomenti di massimalità per gli ideali. Le varianti includono \subsetneqq (doppia barra tagliata) e \varsubsetneq, il cui tratto attraversa solo la barra. Non confondetelo con \nsubseteq, che significa “non è affatto un sottoinsieme”. Il suo corrispondente per i sovrainsiemi è \supsetneq. È una relazione, quindi la spaziatura intorno è gestita automaticamente. Per dimostrare che un'inclusione è stretta, mostrate A \subseteq B ed esibite un elemento di B che non sta in A.

Compare anche in: Teoria degli insiemi

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Proper Subset: $\subsetneq$

\[ \mathbb{N} \subsetneq \mathbb{Z} \subsetneq \mathbb{Q} \subsetneq \mathbb{R} \]
\end{document}

Simboli correlati

• Sovrainsieme\supset
• Inclusione non stretta\subseteq
• Sovrainsieme non stretto\supseteq
• Sottoinsieme\subset
• Perpendicolarità\perp
• Simbolo di congruenza\cong

Domande frequenti

Come si scrive Sottoinsieme proprio in LaTeX?

Scrivi \subsetneq in modalità matematica, per esempio $\mathbb{N} \subsetneq \mathbb{Z} \subsetneq \mathbb{Q} \subsetneq \mathbb{R}$. Carica prima amssymb con \usepackage{amssymb}.

Quale pacchetto serve per \subsetneq?

\subsetneq richiede amssymb: aggiungi \usepackage{amssymb} al preambolo prima dell'inizio del documento.

Posso usare \subsetneq in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\subsetneq$. Se ti serve solo il glifo nel testo, incolla invece il carattere Unicode ⊊ (con XeLaTeX o LuaLaTeX e un font che lo contenga).