定義(代数的整数論009の200)
位相群 G から位相群 G’への連続準同型 f が次の条件(*)を満たすとき
f を G から G’への強射(strict morphism)と言う。

(*)G の開集合の f による像は f(G) の開集合である。