Revision #779 → #1184 · back to history
addedEmpty set052649a7effe
addedNon-empty set877712595f39
addedNull set (measure theory)0495227dba0e
addedUniqueness of the empty set11ac0c903036
addedSubsets and power set of the empty setb7e866b22fe0
addedOperations with the empty set1650ee508956
addedVacuous truth for the empty set95d303a43dad
addedEmpty set is a subset of any set5ba6f0c630d3
addedZero as the empty seta93877effbf6
addedEmpty sum and empty product20032b7fa552
addedEmpty set as a derangement6ac4ad57d4e9
addedBounds of the empty set in ordered sets9905cb8153c4
addedSup and inf of the empty set in extended reals830f35e07c69
addedEmpty set is clopen and compact20918fa63ca6
addedIndiscrete topology08b8a1431d84
addedClosure of the empty set36993f8ff20f
addedEmpty function and initial object in Set332345795cd7
addedEmpty space as strict initial object in Top32f206741269
addedVon Neumann construction of ordinals844a404b5e0f
addedCantor's disjoint setsbd740a2a05cb
addedExistence and uniqueness of empty set in Zermelo set theory8b1937a7d9ed