Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

If $x$ and $y$ are sets such that $\newcommand{\rank}{\operatorname{rank}}\rank x < \rank y$ , then $x\in y$?

I understand that generally if $\rank x < \rank y$, then it should be true, but I do not think it is true for all possible sets $x$ and $y$.

share|improve this question
add comment

1 Answer

up vote 4 down vote accepted

The rank of $y=\{\omega\}$ is infinite, but there is no $x$ whose rank is finite which is in $y$. What true is the converse, if $x\in y$ then the rank of $x$ is strictly less than the rank of $y$.

Again, recall the definition of rank. The rank of $y$ is the least ordinal larger than all the ranks of the elements of $y$. Your question, if true, would imply that any set which has an infinite rank would be infinite. In particular a singleton whose element is a set of infinite rank. This is obviously false, then.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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