圏Cの任意の射について自然性が成り立つのではなくて、
圏Cの任意の対象xについて、自然変換のコンポーネントηxは圏Cの任意の射f:x->y
について、自然性G(f)・ηx = ηy・F(f)が成り立つ、だ。