Banach algebra
族 "C"("σ"("T")) は、一様ノルムが与えられたとき、バナッハ環となる。したがって写像