Revision #939 → #1632 · back to history
addedTopological space (neighbourhood axioms)81c07a3a4a25
addedOpen set (from neighbourhoods)0f5b79b92558
addedNeighbourhood system on the real line2320de620fc2
addedTopology via open sets43bdf9c6a3ef
addedClosed set3282054fda8e
addedClopen sete563ea8e3924
addedTrivial (indiscrete) topology860be4f1794f
addedSix-subset topology15518c0a30a6
addedDiscrete topology / discrete space15a560cb6720
addedFinite subsets of integers is not a topologycf59cee1b945
addedTopology via closed setsd6c4733a6b0e
addedTopology via Kuratowski closure axioms7ce64a7569b3
addedTopology via nets / accumulation points3311dffde418
addedFiner and coarser topologies59ba6d3c31e2
addedLattice of topologies on a set0e9a0f525388
addedContinuous function between topological spaces354dca08e038
addedContinuity via inverse images of open setsbdecea0f36b8
addedHomeomorphism and homeomorphic spaces045caa4adbd5
addedCategory Top17ac16dfcbf5
addedDiscrete topology example6b67f77bbfd6
addedTrivial topology example00db86029e26
addedFinite topological spacesb80a5257c4fa
addedCofinite topologyf92775d17bf6
addedCocountable topology2b8f9b0e921f
addedLower limit topology69948036a204
addedOrder topology on an ordinalaafc46441ae4
addedNatural topology on manifolds and simplicial complexesd3f36d62075f
addedSierpiński space6347913a9d1e
addedSubspace topology6123c25d59c3
addedProduct topologye66e1ccb624e
addedQuotient topology / quotient space4f5f3ecbbcbb
addedMetric topology30250e9c01a0
addedStandard topology on the real line3b8fdc3c6abe
addedBase / basis for a topologyf792e4b4680a
addedStandard topology on Euclidean space and complex numbersd7a71612f663
addedTopological groups, rings, fields, vector spacese6292291e857
addedZariski topology5875ed187116
addedSpectral space8ab7f9a7e827
addedSpecialization preorderafaf26361d76
addedTopology from a filtera43e0796b2d1
addedOuter space of a free groupd64c8bc66c6c
addedTopological property93a7be91a0b3