12

I just came across this "subset" symbol in a PDF:

$$\Omega \subsetneq T$$

I've never seen it before, and I tried looking for it via Detexify (to no avail). What does it mean?

matt
  • 1,419
gablin
  • 245

2 Answers2

19

This means $\Omega$ is a proper subset of $T$. That is, $\Omega\subseteq T$ but $\Omega \neq T$.

For example, $\{1, 2, 3\}\subsetneq \{1, 2, 3, 4\}$.

user1729
  • 31,015
  • 5
    @gablin: Another variant is $\subsetneqq$, and of course some folks use $\subset$ to mean proper subset. – Brian M. Scott Jan 17 '12 at 10:23
  • Argh, the author mixes the various notations throughout the document! Why not just pick one and be consistent... – gablin Jan 17 '12 at 10:28
12

$\subsetneq$ ($\text{"\\subsetneq"}$) means: subset, but not equal.

Here's a nice example:

Let Ω be a half-strip in the complex plane: $$ \Omega = \{ z \in \mathbb{C} | x_1 \leq \mathrm{Re} (z) \leq x_2 \text{ and } \mathrm{Im} (z) \geq y_0 \} \subsetneq \mathbb{C}. \, $$

draks ...
  • 18,449