Revision #655 → #1559 · back to history
addedElement / membership182bfcbf5f4a
addedAxiom of extensionality2b1aa5ad67a7
addedEmpty set19fda4a5976e
addedSingletone1003feceeb3
addedFinite setccbb476004e1
addedInfinite sete2f512106c02
addedNatural numbers form an infinite sete0e7642859a4
addedRoster notationbc4a9ed37913
addedSet-builder notation0f435a1d48d4
addedProper subset9ec6dcaac2ad
addedHumans are a proper subset of mammals95fa59da53f5
addedEquality via mutual containment8b542e80d2f9
addedEmpty set is a subset of every setce9b846a537e
addedIntersection of two sets71af3732335e
addedIntersection is associative and commutative73d186e1872a
addedIntersection of a family of sets02e95f95ebd7
addedUnion of two sets7ae5bff06e6e
addedUnion is associative and commutativea5c59e2ed8e0
addedUnion of a family of sets1a7c29e7ff53
addedSet difference01a7533e08ef
addedComplement / absolute complemente641763fca3f
addedSymmetric differenceaaf173b1543b
addedPowersetc54687c1eadd
addedPowerset is a Boolean ring9141e2f00556
addedPowerset is a Boolean algebraf4b2d67aabfd
addedPowerset is a complete lattice0684df4d5cbe
addedFunctionb2a7701b9cc0
addedValue, image, domain, codomain821f8a47ca30
addedGraph of a functionb31840c967dd
addedFormal definition of function as a triple2f19e92eeb3e
addedIndexed familybabb27a93d8f
addedOrdered pair, tuple, sequence as indexed families3d8ffe731406
addedCartesian product of two setsf1521bbb35c2
addedCartesian product of an indexed familyebb1c5428fce
addedProduct of nonempty sets is nonemptyd57504f148c4
addedSet exponentiatione671c83858f9
addedPower set114eba9643ee
addedBijection between subsets and indicator functionsa371e37ae0cb
addedCardinality of the power sete24426427274
addedDisjoint union of two setsd3a3fc9f29b8
addedDisjoint union of an indexed familyddda0d896518
addedDisjoint union is the coproduct in Set09c422b08e05
addedForgetting-indices map is bijective iff pairwise disjointb1632512af76
addedPartition6d075f1be36f
addedCardinalityd8ce5acef399
addedSame cardinality884cce8f9bb0
addedNaturals and even naturals have same cardinality265646c8aeb6
addedCharacterization of infinite setsa2eef36d6571
addedCardinality inequality81403bfe158d
addedSchröder–Bernstein theorem6aa219e8db0e
addedCardinality inequality is a total ordera79384ffb779
addedCountable and uncountable sets4fa75b13c64b
addedCantor's diagonal argumentf86f5e2b920e
addedCardinality of the continuum234679a404d5
addedSubsets containing an open interval have cardinality cd8fd8ec4b1ea
addedCardinality of reals equals power set of naturals5e876df1dcf8
addedCardinality of Euclidean spaceb754d5e176cc
addedContinuum hypothesiseffa999eb46e
addedCohen's independence of CH231ff6afaf65
addedAxiom of choicec9ca70ced67a
addedChain in a partial order6017cea809c7
addedZorn's lemmaba23bbfd771a
addedEvery vector space has a basis2d518bee344c
addedEvery proper ideal is contained in a maximal idealc677244efde7
addedWell-ordering theoremf781eb9dc49d
addedExamples of well-ordered setsad5768e4867c
addedTransfinite induction0cdda8499157