Вам должно быть виднее, какой вариант является более подходящим.
P.S. На всякий случай уточню: Л.С.Понтрягин рассматривает только такие топологические пространства, в которых каждое одноточечное множество замкнуто, то есть, пространства, удовлетворяющие аксиоме отделимости

. Одно из первых утверждений о топологических группах у него: топологическая группа регулярна.