Referenced by:

• closure
• closures-and-completions
• compactness-via-ultrafilters
• covert-operationality
• cyclic-permutation
• delta-types
• extrusive-posets
• filter
• group-morphism-kernel
• group-subjects
• groups-cayleys-thm
• ucb-catthy-01
• ucb-metamathematics-b-01
• ucb-metamathematics-b-05
• ucb-metamathematics-b-06
• vague-notes
• idempotents-and-projections
• lang
• math-what-wasnt-taught
• multiplicative-groups-of-integers
• seven-sketches
• order-top-with-lub
• order-topology
• parametricity
• topology-clopen
• topology-closed-subspace-of-paracompact-is-paracompact
• topology-cofinite-top
• topology-compact
• topology-continuity
• topology-finite-product-topology
• topology-hausdorff
• topology-support
• topology-urysohn-lemma
• topology-via-grazing
• topology
• ultrafilter
• why-is-inheritance-bad
• with-respect-to