あるということを意味する。この概念の正確な定式化には自然変換の概念が関わっている。この事実は重要で、たとえば如何なる有限アーベル群もその双対群と同型ではあるが、自然同型ではない。(x)}と定義することによって与えられる。双対群上の指標と同一視される。行き先によって決まる。なるべき値を任意に選ぶことで定まる。同型であることは直ちにわかる。おける通常の位相を円周群に制限したものに一致することも簡単に示される。