7 ms·> 4) It can finally construct the set of all sets. lazily of course: A = {x | x ∈ A} ∪ {A}by gchamonlive 13d ago> 4) It can finally construct the set of all sets. lazily of course: A = {x | x ∈ A} ∪ {A}