> 4) It can finally construct the set of all sets.

lazily of course:

A = {x | x ∈ A} ∪ {A}