Added a note on terminology, and the reference to Munkres’s topology book.
]]>Non-trivial edit made, but author did not leave any comments.
]]>Further elaborations on equivalent definitions, some properties, some hyperlinks. Still short and not yet matured.
]]>Stub for limit point compactness. To be returned to later.
]]>