ker("f")は "a" の基点 ∗"a" を常に含むが、逆にker("f")が唯一つの元 ∗"a" のみからなる集合{∗"a"}に一致するとき、核ker("f")は自明であるという。