В топологии , ветвь математики , топологический Моноид является объектом Моноида в категории из топологических пространств . Другими словами, это моноид с топологией, относительно которой двоичная операция моноида непрерывна . Каждая топологическая группа является топологическим моноидом.