Ilia Zaichuk Thanks for the edit! I made a couple of linguistic changes, and made the "uniqueness of $~$\emptyset$~$" a bit less compact.
by Patrick Stevens Aug 28 2016
Ilia Zaichuk Thanks for the edit! I made a couple of linguistic changes, and made the "uniqueness of $~$\emptyset$~$" a bit less compact.