This is from Discrete Mathematics and its Applications
What is the symbol used in 9c, 9d, 9f, 10c, 10f, 10g? I looked through the chapter section and the closest symbol I saw to this is the subset, which is
DEFINITION 3. The set $A$ is a subset of $B$ if and only if every element of $A$ is also an element of $B$. We use the notation $A \subseteq B$ to indicate that $A$ is a subset of the set $B$.
We see that $A \subseteq B$ if and only if the quantification $$\forall x(x \in A \to x \in B)$$ is true. Note that to show that $A$ is not a subset of $B$ we need only find one element $x \in A$ with $x \not\in B$. Such an $x$ is a counterexample to the claim that $x \in A$ implies $x \in B$.
Is it just a typo for subset? Thats what I originally thought. However via my use of an implication(trying to apply what I learn 🙂 ), I came up with if the symbol is a typo, it will be used in a single place or the supposed actual symbol, the subset, will not be used in the surrounding proximity(page). If I assumed the hypothesis to be true, then my conclusion and my implication is false because the subset does appear in the near proximity(9g) and this symbol is used in multiple locations(all the ones I described). Therefore the hypothesis is false(reached a contradiction), and the symbol is not a typo. Is that correct logic?
Best Answer
The textbook is not making typos. The symbol $\subset$ is called a proper subset. For example, $$[0,1] \subset [0,2],$$ but $$[0,2] \not\subset [0,2].$$
However, the symbol $\subseteq$ means that a set can be contained in itself as well, for example, $$[0,1] \subseteq [0,2]$$ and $$[0,2] \subseteq [0,2].$$
This page describes a little more on the difference between subset and proper subset.