Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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$?

share|cite|improve this question
up vote 2 down vote accepted

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.)

share|cite|improve this answer

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 (the association bonus does not count).

Would you like to answer one of these unanswered questions instead?

Not the answer you're looking for? Browse other questions tagged or ask your own question.