Quick answer
A subset relation allows equality between the two sets. A proper subset relation requires the first set to be strictly smaller than the second.
Subset
Write A\subseteq B when every element of A is also an element of B. This statement is true when A=B.
Proper subset
Many authors write A\subset B for a proper subset, but conventions vary: some use \subset for a non-strict subset. To remove ambiguity, define the convention or write A\subseteq B together with A\ne B.
Compare the relations
| Relation | Equality allowed? | Unambiguous LaTeX |
|---|---|---|
| Subset | Yes | A\subseteq B |
| Proper subset | No | A\subsetneq B or A\subseteq B, A\ne B |
Worked example
Let A={1,2} and B={1,2,3}. Then A\subseteq B and A\subsetneq B. For C={1,2}, A\subseteq C is true, but A\subsetneq C is false because the sets are equal.
Common mistakes
Do not confuse membership x\in A with subset inclusion A\subseteq B. Do not assume every textbook uses \subset with the same strictness convention.
Verification checklist
Check each element of the first set, then test whether the sets are equal. Use explicit non-strict or strict symbols in technical writing and define any local convention.
Make the choice from the surrounding expression
For subset vs proper subset, do not decide from glyph shape alone. Read the operands, the mathematical subject, and the sentence around the notation. The same mark can represent different ideas in algebra, probability, set theory, analysis, or typography.
Verification questions
- Does the proposed meaning produce a mathematically valid sentence?
- Are the operands the right type for that meaning?
- Does a nearby definition or legend establish a local convention?
- Would replacing the mark with words preserve the intended statement?
Publishing check
Use the exact Unicode character or structured command, then inspect the final PDF, page, or presentation at normal and enlarged zoom. A font substitution can make distinct characters look similar even when their encoded identities differ.
How this guide was checked
Review method: Intent alignment review, notation/source verification, worked-example check, cross-format rendering review, and duplicate-content comparison for Subset vs Proper Subset
Verified against: Official standards, primary documentation, and the page-specific sources listed below
What changed: Removed repeated sitewide boilerplate and added content-type-specific decision, verification, and applicability guidance for this exact task.
Page purpose: subset vs proper subset — Compare similar symbols, formats, or mathematical concepts
Automated quality check: Kept noindex until critical findings are resolved.
Verification references
These primary standards and official documentation pages were used to check character identity, syntax, or platform behavior described above.
- Unicode Technical Report #25: Unicode Support for MathematicsUnicode Consortium — Mathematical character usage, variants, and notation support.
- LaTeX Project DocumentationThe LaTeX Project — LaTeX syntax, authoring model, and official documentation links.
- MathML CoreW3C — Semantic web mathematics elements and browser behavior.
- Digital Library of Mathematical FunctionsNational Institute of Standards and Technology — Definitions, notation, identities, and reference material for mathematical functions.