In Zermelo-Fraenkel Set Theory we can define the following
If
So we can form the set
using (Un), (Pow), (Sep)
In turn, we can form the set
In Zermelo-Fraenkel Set Theory we can define the following
If
So we can form the set
using (Un), (Pow), (Sep)
In turn, we can form the set