Definition talk:Alexandroff Extension

This is also known as the Alexandroff compactification. I suppose such a name is preferred? --barto (talk) 15:26, 26 January 2017 (EST)