バナッハ環
バナッハ環は、乗法単位元を持つとき、単位的（unital）であると言う。また乗法が可換であるとき、可換と言う。単位元を持つ持たないにかかわらず、任意のバナッハ環 は適当な単位的バナッハ環（つまり の「単位化」） にこの閉イデアルとなるように等長的に埋め込める。しばしば、扱っている環は単位的であるということがアプリオリに仮定される。すなわち、 を考えることで多くの理論を展開でき、その結果を元の環に応用するという方法が取られることがある。しかしこの方法は常に有効という訳ではない。例えば、単位元を持たないバナッハ環においては、すべての三角関数を定義することが出来ない。