Scribd
Upload
20 views

Set Onotology

A pure set is defined as a set where all members and members of members are also sets. Modern set theory focuses only on pure sets within the von Neumann universe, which organizes pure sets into a cumulative hierarchy based on how deeply nested their members are. Each pure set is assigned a rank ordinal number equal to the least upper bound of the successor ranks of its members. For example, the empty set has rank 0 and the set containing only the empty set has rank 1. The von Neumann universe V consists of sets Vα for each ordinal α, containing all pure sets with rank less than α.

Uploaded by

rshegde
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
20 views

Set Onotology

A pure set is defined as a set where all members and members of members are also sets. Modern set theory focuses only on pure sets within the von Neumann universe, which organizes pure sets into a cumulative hierarchy based on how deeply nested their members are. Each pure set is assigned a rank ordinal number equal to the least upper bound of the successor ranks of its members. For example, the empty set has rank 0 and the set containing only the empty set has rank 1. The von Neumann universe V consists of sets Vα for each ordinal α, containing all pure sets with rank less than α.

Uploaded by

rshegde
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

A set is pure if all of its members are sets, all members of its members are sets, and so on.

For example,
the set {{}} containing only the empty set is a nonempty pure set. In modern set theory, it is common to
restrict attention to the von Neumann universe of pure sets, and many systems of axiomatic set theory
are designed to axiomatize the pure sets only. There are many technical advantages to this restriction,
and little generality is lost, because essentially all mathematical concepts can be modeled by pure sets.
Sets in the von Neumann universe are organized into a cumulative hierarchy, based on how deeply their
members, members of members, etc. are nested. Each set in this hierarchy is assigned (by transfinite
recursion) an ordinal number , known as its rank. The rank of a pure set X is defined to be the least
upper bound of all successors of ranks of members of X. For example, the empty set is assigned rank 0,
while the set {{}} containing only the empty set is assigned rank 1. For each ordinal , the set V is
defined to consist of all pure sets with rank less than . The entire von Neumann universe is denoted V.

You might also like