Прямая топологическая сумма