Hallo, infinite-set readers. Set theory is back.
Today we will discuss a theorem. Still in natural numbers. This theorem just explore from previous post. Hope you like this post.
If is a non-empty set of natural numbers, then there is a single natural number such that is a member of every set member that different with .
For proof of unity of can be seen on the proof of Theorem on previous post. Next, given any non-empty set whose members are natural numbers. Take any . If there are no members from who is a member of then is a member of all natural numbers contained in that different with . Choose then the proof is complete.
If any member of is a member of , defined set is the set that collects these elements. Obtained with is a natural number. According to Theorem (previous post) then there is a natural number such that is a member of every member of set that is different from . Note that for then or . If , since then . If then according to Theorem (in this link) apply that . Obtained if and only if . It is proved that there exists with a single natural number susch that is a member of each member of set that different with .
Next post, we will discuss about Partially Ordered Set, Simply Ordered Set, and Well Ordered Set. Please open your book about relation. We will use it to explore that discussion. Hope you still waiting about my post.
Thanks for reading.