| Closure is the set of limits of sequences | 003QP7A8HG | statement | 54E35 |
| Finite intersection property | 00BWV5CKCF | statement | 54D30 |
| Closed map | 00FSJTXPJM | concept | 54C10 |
| Compact set | 00R0X1WGPX | definition | 54D30 |
| Second-countable space | 00RE1R4W7N | definition | 54D70 |
| Topological embedding | 00ZG9Y9TR4 | concept | 54C25 |
| Totally disconnected space | 01CYW8S04D | definition | 54D05 |
| Urysohn's lemma | 01EY3VR7ZD | statement | 54D15 |
| Triangle inequality for a metric | 01M6CW9VM6 | statement | 54E35 |
| Isolated point | 01PKQYTTMT | definition | 54A05 |
| Cantor set is closed | 01VT24J1SD | statement | 54F65 |
| Open set | 01ZQQDCERP | definition | 54A05 |
| Totally bounded set | 020Q06TYYH | concept | 54E35 |
| Open set | 02BH3MCBQB | concept | 54A05 |
| Open balls form a basis of the metric topology | 02EEX96DFS | statement | 54E35 |
| Isometry | 02HPP5VCZH | concept | 54E40 |
| Isometries are injective | 02J4G4J4TJ | statement | 54E40 |
| Topological property | 02SMVGC690 | concept | 54A05 |
| Closure is closed | 02TZDKG50Q | statement | 54A05 |
| Arzelà–Ascoli theorem | 0381S8Z5P0 | statement | 54C35 |
| Regular space | 03HMJASQBQ | concept | 54D15 |
| Second-countable space | 03PPNCM9GG | concept | 54D70 |
| Lebesgue number lemma | 040CFNJEAP | statement | 54E45 |
| Continuous bijection from a compact space to a Hausdorff space is a homeomorphism | 0430ETCMKD | statement | 54D30 |
| Product metric | 044D4AQV8V | definition | 54E35 |
| Open cover | 049PXYHW1T | concept | 54D30 |
| Separation axioms | 04J4BYB0XE | concept | 54D10 |
| Product topology on an arbitrary product | 04S9HX3GAP | definition | 54B10 |
| Compact iff complete and totally bounded | 054Q5PW5GX | statement | 54E45 |
| Boundary | 05D5EGMFYV | concept | 54A05 |
| Closed ball | 05DSV40EB9 | definition | 54E35 |
| T1 space | 05GQJXBP3F | definition | 54D10 |
| Homeomorphism | 05GZ11PWRY | definition | 54C05 |
| Composition of continuous maps is continuous | 05NK26G0DR | statement | 54C05 |
| Metric space | 063W5JMY85 | definition | 54E35 |
| Inclusion of a subspace is continuous | 065J822CKN | statement | 54B05 |
| Closed subsets of compact sets are compact | 066HW6D9A7 | statement | 54D30 |
| Closure in a metric space | 068P0P32DW | statement | 54E35 |
| Diameter of a set | 0692CGQF00 | definition | 54E35 |
| Heine–Cantor theorem | 06B8BNJCD6 | statement | 54E45 |
| Basis of a topology | 06EX0FHBTF | definition | 54A05 |
| Convergence of a sequence in a metric space | 06JYPJ4WHH | definition | 54E35 |
| Completion of a metric space | 06RW4RKWH7 | concept | 54E50 |
| Comparison of topologies | 072J68M6HX | concept | 54A10 |
| Continuity at a point of a topological space | 07N7W5C29X | definition | 54C05 |
| Heine–Borel theorem | 07PFYV65MB | statement | 54E45 |
| T0 space | 07SG12TQH3 | concept | 54D10 |
| Distance from a point to a set | 07TXYYVYZR | definition | 54E35 |
| Isometry | 0878DN3WCS | definition | 54E40 |
| Complete metric space | 08EWT7J0SC | definition | 54E50 |
| Topological embedding | 08SVRVHJNY | definition | 54C25 |
| Comparison of topologies | 08XFJJ8EYW | definition | 54A10 |
| Convergence of a sequence in a metric space | 090AA928Y7 | concept | 54E35 |
| Metrizable space | 091GJ3FYD7 | concept | 54E35 |
| Intermediate value theorem for connected spaces | 098C0KZZAP | statement | 54D05 |
| Open sets characterised by neighbourhoods | 09CJ00H3NW | statement | 54A05 |
| Closed sets contain their limits | 09GQ3ZTQJ9 | statement | 54E35 |
| Completeness of the space of bounded continuous functions | 09GRCZVR5E | statement | 54C35 |
| Metrizable space | 09KDHB82SG | definition | 54E35 |
| Finite intersection of open sets is open | 09NDE9V7X1 | statement | 54E35 |
| Bounded set | 09QSZVVM26 | concept | 54E35 |
| Subbasis | 09S8DV34Y0 | concept | 54A05 |
| Equivalent metrics | 09V3NASXND | concept | 54E35 |
| Intersection of closed sets is closed | 09YMV8H4X5 | statement | 54E35 |
| Product of compact sets is compact | 09ZKE5XQ74 | statement | 54D30 |
| Isolated point | 0A1YXSKB48 | concept | 54A05 |
| Open sets of a metric space | 0A26X79RTB | statement | 54E35 |
| Pseudometric space | 0A3HJX3KTF | concept | 54E35 |
| Metric topology | 0A6YRNZB2R | definition | 54E35 |
| Baire category theorem | 0A7KGAYHGV | statement | 54E52 |
| Metrizable spaces are normal | 0AD0BZ49DW | statement | 54E35 |
| Normal space | 0AJ646N339 | definition | 54D15 |
| Product metric | 0AYV6VGKF5 | concept | 54E35 |
| Open balls are open | 0B2305GNAZ | statement | 54E35 |
| Continuity via closed sets | 0B8GPXFSP7 | statement | 54C05 |
| Cofinite topology | 0B906ZBTMZ | example | 54A05 |
| Connected subsets of the real line are intervals | 0B9ZQFMQNV | statement | 54D05 |
| Dense set | 0BSJSX7ME2 | concept | 54A05 |
| Box topology | 0BWJTRE3X3 | concept | 54B10 |
| Cantor set | 0BXNDZFQME | example | 54F65 |
| Complete metric space | 0BY52JW6NK | concept | 54E50 |
| Interior | 0C38S0KMJK | definition | 54A05 |
| Sequential compactness | 0CARW59WD2 | definition | 54D30 |
| Subbasis | 0CHR35YNJQ | definition | 54A05 |
| Topological space | 0CNQXVBHCX | definition | 54A05 |
| First-countable space | 0CP5NDD21C | concept | 54D70 |
| Topological space | 0CQHFPGJ45 | concept | 54A05 |
| Box topology | 0CTM1EHG9P | definition | 54B10 |
| Dense set | 0D198GPMTJ | definition | 54A05 |
| A set is closed iff it equals its closure | 0D2W7FS52T | statement | 54A05 |
| Baire space | 0D5KR33H7X | definition | 54E52 |
| Subspace topology | 0D5YHQGDJY | definition | 54B05 |
| Limits are unique in Hausdorff spaces | 0D8T984XEE | statement | 54D10 |
| Connected space | 0D939CMME7 | definition | 54D05 |
| Open ball | 0DC3MPR7C9 | definition | 54E35 |
| Closure | 0DRKT1QJR7 | definition | 54A05 |
| Limit point | 0E3X7TXS67 | concept | 54A05 |
| Epsilon-delta continuity in metric spaces | 0EKGKY5TGH | statement | 54E35 |
| Continuous image of a connected set is connected | 0EPD87YVG8 | statement | 54D05 |
| Locally compact space | 0EQMWQ4WMJ | definition | 54D45 |
| Cantor's intersection theorem | 0EZBG8SKJM | statement | 54D30 |
| Closed subsets of complete spaces are complete | 0FBXJZX3MK | statement | 54E50 |
| Locally compact space | 0FE2SB8WVJ | concept | 54D45 |
| Universal property of the quotient topology | 0FF2FJ8CH2 | statement | 54B15 |
| Epsilon-delta uniform continuity | 0FHSDCQACY | statement | 54E40 |
| Meagre set | 0FQPYAY9PJ | definition | 54E52 |
| Sequential compactness | 0FRMJH3CY7 | concept | 54D30 |
| Completion of a metric space | 0G4J7Z7WPJ | definition | 54E50 |
| Closed set | 0G5AV9Q4RR | definition | 54A05 |
| Product topology | 0GBG8B49AA | concept | 54B10 |
| Separable space | 0GKJ78948V | definition | 54D65 |
| One-point compactification | 0GWN3CMRK8 | concept | 54D35 |
| Pseudometric space | 0H3W614GEC | definition | 54E35 |
| Interior is the largest open subset | 0HAZEFH137 | statement | 54A05 |
| Limit point | 0HBQC2GJXT | definition | 54A05 |
| Union of open sets is open | 0HEF46RPEK | statement | 54E35 |
| First-countable space | 0HG11FW8MJ | definition | 54D70 |
| Regular space | 0JF9KW2TXB | definition | 54D15 |
| Boundary | 0JJ9J1XZ8G | definition | 54A05 |
| Tychonoff's theorem | 0JTRSJKCFB | statement | 54D30 |
| Path-connected space | 0K0GE6BCYW | definition | 54D05 |
| Topologist's sine curve | 0K3T4A659R | counterexample | 54G20 |
| Complement of an open set is closed | 0K67Q60Z8P | statement | 54A05 |
| Compactness and sequential compactness agree in metric spaces | 0K8SGQSV7G | statement | 54E45 |
| Continuous image of a compact set is compact | 0K9AAJ8G51 | statement | 54D30 |
| Continuity at a point | 0KRMJRDRZT | concept | 54C05 |
| Nowhere dense set | 0KSM23SN3H | definition | 54E52 |
| Diameter of a set | 0KW3PN547K | concept | 54E35 |
| Usual metric on the real line | 0KXJTZSW9B | example | 54E35 |
| Universal property of the product topology | 0M6W4XNST6 | statement | 54B10 |
| Epsilon characterisation of Cauchy sequences | 0MCK8K2D7Z | statement | 54E35 |
| One-point compactification | 0MM45BT6HC | definition | 54D35 |
| Compact Hausdorff spaces are normal | 0MQQQ5NA2S | statement | 54D30 |
| Equicontinuity | 0MW2WXTHMC | definition | 54C35 |
| Hausdorff space | 0MXB4CKHFW | definition | 54D10 |
| Open connected subsets of R^n are path-connected | 0MXN7AFBPE | statement | 54D05 |
| Compact subsets of a Hausdorff space are closed | 0MYFJVMN7M | statement | 54D30 |
| Completeness via Cauchy sequences | 0N1ZWFJDN5 | statement | 54E50 |
| Basis of a topology | 0NA0732YAG | concept | 54A05 |
| Discrete metric | 0NA4FK7B8S | example | 54E35 |
| Epsilon-net characterisation of total boundedness | 0NMGJJ19HD | statement | 54E35 |
| Quotient topology | 0NQ1H2X495 | concept | 54B15 |
| Connected components are closed | 0NRT0E2QT2 | statement | 54D05 |
| Normal space | 0NSR9V8TED | concept | 54D15 |
| Open cover | 0NVPNC12JY | definition | 54D30 |
| T1 space | 0NW6CH38YR | concept | 54D10 |
| Closed map | 0NYZ2M45G9 | definition | 54C10 |
| Compactness via open covers | 0P6PMJB4MA | statement | 54D30 |
| Bounded set | 0P953MG05E | definition | 54E35 |
| Metric spaces are Hausdorff | 0P9DCDES73 | statement | 54E35 |
| Projections are continuous | 0PM88Z9W4M | statement | 54B10 |
| Interior is open | 0PNWCM559P | statement | 54A05 |
| Closed ball | 0Q0H13G8ZB | concept | 54E35 |
| Subspace metric | 0QBYFZV91P | concept | 54E35 |
| Closure | 0QEAJB91GZ | concept | 54A05 |
| Compact space | 0QPHW703PV | definition | 54D30 |
| Homeomorphism | 0QT00PB5G2 | concept | 54C05 |
| Connected set | 0R37DFJKFW | definition | 54D05 |
| T0 space | 0R3B7DX55J | definition | 54D10 |
| Compact set | 0R6EWFKRCF | concept | 54D30 |
| Compact subsets of a metric space are bounded | 0R7BTEWCJ2 | statement | 54E45 |
| Totally disconnected space | 0RJSBR9GW1 | concept | 54D05 |
| Proper metric space | 0RN765S7DH | concept | 54E45 |
| Cantor set is homeomorphic to the space of binary sequences | 0RQ8DHHR8V | statement | 54F65 |
| Interior | 0RZH6W98HK | concept | 54A05 |
| Hausdorff space | 0S1FJ8VEX9 | concept | 54D10 |
| Discrete topology | 0S2TEHX4E1 | example | 54A05 |
| Path component | 0SB9FNZECG | definition | 54D05 |
| Closure is the smallest closed superset | 0SHC6Z304Z | statement | 54A05 |
| Connected set | 0SPE8WNWFV | concept | 54D05 |
| Open map | 0SQ2PC596Y | definition | 54C10 |
| Continuous map of topological spaces | 0SY9ECQ19Q | definition | 54C05 |
| Subspace metric | 0T2WYDTRP2 | definition | 54E35 |
| Compact space | 0TVJZYB6SH | concept | 54D30 |
| Equivalent metrics | 0TWQ5PRKWS | definition | 54E35 |
| Connected space | 0V032VWTHD | concept | 54D05 |
| Continuous real function on a compact set attains its bounds | 0V4DET59NW | statement | 54C30 |
| Quotient topology | 0V8046R0P9 | definition | 54B15 |
| Continuous map | 0VGFHTM75Y | concept | 54C05 |
| Continuity is equivalent to sequential continuity in metric spaces | 0VGPKZ8MRK | statement | 54E35 |
| Metric space | 0VKD1TP7F3 | concept | 54E35 |
| Nowhere dense set | 0VQYCCQVJ5 | concept | 54E52 |
| Isometric isomorphism | 0VRD8GC5BM | definition | 54E40 |
| Sup metric on R^n | 0VTAXQEWQD | example | 54E35 |
| Complete subspaces are closed | 0W41XG4W60 | statement | 54E50 |
| Path-connected space | 0WB6DH499T | concept | 54D05 |
| Totally bounded set | 0WE5BBHGM6 | definition | 54E35 |
| Circle as a quotient of the real line | 0WH1GVBJNH | example | 54B15 |
| Distance from a point to a set | 0WQ19TJV24 | concept | 54E35 |
| Subspace topology | 0WS9P12FQR | concept | 54B05 |
| Countable intersection of dense open sets is dense | 0X2T63GFQQ | statement | 54E52 |
| Path component | 0X3EG7Y65T | concept | 54D05 |
| Tietze extension theorem | 0X52TNMTCJ | statement | 54C20 |
| Meagre set | 0XGCZ4GDZ6 | concept | 54E52 |
| Indiscrete topology | 0XJ02JBD6S | example | 54A05 |
| Equicontinuity | 0XN66MZN0Y | concept | 54C35 |
| Open map | 0YCG648KDD | concept | 54C10 |
| Open ball | 0YE5868HZB | concept | 54E35 |
| Continuity via open sets | 0YF82GBTND | statement | 54E35 |
| Closed balls are closed | 0YS40B38JD | statement | 54E35 |
| Metric topology | 0YVKNB7V5F | concept | 54E35 |
| Separable space | 0Z2P41SVDP | concept | 54D65 |
| Proper metric space | 0Z4V98VN5E | definition | 54E45 |
| Product topology | 0Z57EC6YX3 | definition | 54B10 |
| Closed set | 0ZCK8DQYN1 | concept | 54A05 |
| Baire space | 0ZH5AJ2ED7 | concept | 54E52 |
| Path-connected spaces are connected | 0ZMT1GP4KM | statement | 54D05 |
| Isometric isomorphism | 0ZXSF2YQV2 | concept | 54E40 |