Tập con hoặc bằng trong LaTeX (\subseteq)

Dùng ở đâu

Phát biểu rằng mọi phần tử của tập bên trái cũng thuộc tập bên phải; hai tập có thể bằng nhau.

Dùng \subseteq cho quan hệ bao hàm cho phép bằng nhau, như A \subseteq A, và trong các định nghĩa như một tô pô đóng với phép hợp các họ con \mathcal{U} \subseteq \tau. Nhiều tác giả dùng \subset trơn với cùng nghĩa, trong khi số khác dành \subset cho bao hàm thực sự, nên nên nêu rõ quy ước của bạn. Để chỉ bao hàm thực sự không mơ hồ, hãy dùng \subsetneq. Phủ định là \nsubseteq hoặc \not\subseteq. Để chứng minh hai tập bằng nhau, một chứng minh chuẩn chỉ ra A \subseteq B và B \subseteq 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}
\begin{document}
Subset or Equal: $\subseteq$

\[ A \subseteq B \land B \subseteq A \iff A = B \]
\end{document}

Ký hiệu liên quan

• Tập con thực sự\subsetneq
• Tập con\subset
• Tập cha\supset
• Dấu đẳng cấu\cong
• Tập cha hoặc bằng\supseteq
• Dấu đồng dạng\sim

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

Làm thế nào để viết Tập con hoặc bằng trong LaTeX?

Gõ \subseteq trong chế độ toán, ví dụ $A \subseteq B \land B \subseteq A \iff A = B$. Lệnh dùng được trong LaTeX chuẩn mà không cần nạp gói nào.

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

Không cần gói nào. \subseteq thuộc LaTeX chuẩn, nên chỉ cần lớp tài liệu trong phần mở đầu là biên dịch được.

Có thể dùng \subseteq 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 $\subseteq$. 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ự đó).