Tập con thực sự trong LaTeX (\subsetneq)

Dùng ở đâu

Ký hiệu tập con có vạch bị gạch: tập bên trái chứa trong tập bên phải nhưng không bằng nó.

\subsetneq phát biểu tường minh bao hàm thực sự, loại bỏ sự mơ hồ của \subset, vốn được một số sách hiểu là không chặt. Nó xuất hiện trong các chuỗi như \mathbb{N} \subsetneq \mathbb{Z} \subsetneq \mathbb{Q} và trong các lập luận về tính tối đại của iđêan. Các biến thể gồm \subsetneqq (hai vạch có gạch chéo) và \varsubsetneq, có nét gạch chỉ cắt qua vạch. Đừng nhầm nó với \nsubseteq, nghĩa là hoàn toàn không phải tập con. Đối ứng cho tập cha là \supsetneq. Đây là một quan hệ nên khoảng cách xung quanh được xử lý tự động. Khi chứng minh bao hàm là thực sự, hãy chỉ ra A \subseteq B và nêu một phần tử của B nằm ngoài A.

Cũng có trong: Lý thuyết tập hợp

Ví dụ tối giản biên dịch được

Dán đoạn này vào một tệp .tex trống rồi biên dịch bằng pdfLaTeX, XeLaTeX hoặc LuaLaTeX.

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

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

Ký hiệu liên quan

• Tập cha\supset
• Tập con hoặc bằng\subseteq
• Tập cha hoặc bằng\supseteq
• Tập con\subset
• Dấu vuông góc\perp
• Dấu đẳng cấu\cong

Câu hỏi thường gặp

Làm thế nào để viết Tập con thực sự trong LaTeX?

Gõ \subsetneq trong chế độ toán, ví dụ $\mathbb{N} \subsetneq \mathbb{Z} \subsetneq \mathbb{Q} \subsetneq \mathbb{R}$. Trước hết hãy nạp amssymb bằng \usepackage{amssymb}.

Cần gói nào để dùng \subsetneq?

\subsetneq cần amssymb: thêm \usepackage{amssymb} vào phần mở đầu, trước khi tài liệu bắt đầu.

Có thể dùng \subsetneq trong chế độ văn bản không, hay chỉ trong chế độ toán?

Chỉ trong chế độ toán. Bên ngoài $...$ LaTeX sẽ dừng với lỗi "Missing $ inserted", vì vậy trong văn bản hãy viết $\subsetneq$. Nếu chỉ cần hình ký tự trong văn bản, hãy dán ký tự Unicode ⊊ (với XeLaTeX hoặc LuaLaTeX và một phông chữ có ký tự đó).