Подгруппы Ли, понятие

[greg2]

Встречаюсь постоянно и уже в который раз меня приводит в ступор - closed Lie subgroup, нигде не могу найти определения "закрытой" подгруппы. Если имеется в виду, что это некоторое множество, которое closed по отношению к операции, определенной на группе, тогда выражение closed subgroup это тафтология. Так что это все-таки значит?

[Xaositect]

Замкнутая в смысле топологии, которая у нас на группе Ли есть.