Oleg ZubelevichЯ исходил из того, что в любой окрестности точки содержится её сферическия окрестность. А окрестность точки - любое открытое множество содержащее эту точку. В классическом определении из википедии
http://ru.wikipedia.org/wiki/%D0%A0%D0%B0%D0%B2%D0%BD%D0%BE%D0%BC%D0%B5%D1%80%D0%BD%D0%B0%D1%8F_%D0%BD%D0%B5%D0%BF%D1%80%D0%B5%D1%80%D1%8B%D0%B2%D0%BD%D0%BE%D1%81%D1%82%D1%8Cиспользуется понятие метрического пространства, в моем определении, как мне думается это учтено.
Вообщем я был бы благодарен если бы Вы пояснили моё заблуждение.
provincialkaПодмножество.