About the transitivity of the property of being Segal topological algebra

Abstract

We show that if (A, f, B) and (B, g, C) are left (right or two-sided) Segal topological algebras for which g(f(A))⊆ g(B)g(f(A))  (g(f(A))⊆ g(f(A))g(B)  or  g(f(A))⊆ g(B)g(f(A))∩ g(f(A))g(B), respectively), then (A, g∘ f, C) is also a left (right or two-sided, respectively) Segal topological algebra.