Let $\Omega$ be the universal set (which contains all objects of interest) and let its complement be denoted by $\Omega^c$ . The book I'm reading states that $\Omega^c = \phi$ ; does that mean $\phi \not\subset \Omega$?
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
Let's make a community wiki answer based on the above comments. Given a subset $A \subset \Omega$, the relative complement $A^c$ in $\Omega$ is defined as the set of elements of $\Omega$ that are not elements of $A$. So in the case that $A = \Omega$, the relative complement of $A$ in $\Omega$ is equal to $\emptyset$. That is, for every set $x$ we have $x \notin A^c$. In particular we have $\emptyset \notin A^c$. However, this is probably the "wrong" question to ask, because $\emptyset$ might not be an element of $\Omega$ at all. Notice that the empty set is a subset of every set, so in particular $\emptyset \subset \Omega$. (This is because to check whether $X \subset Y$ you take an arbitrary element of $X$ and check that it is also in $Y$. If $X$ is empty, then there is nothing to check.)
protected by Alexander Gruber♦ Jun 12 '13 at 2:13
Thank you for your interest in this question.
Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site.
Would you like to answer one of these unanswered questions instead?