ein Ringhomomorphismus, der eine endliche Erweiterung induziert.

Eine stetige Abbildung zwischen topologischen Räumen heißt endlich, wenn die Fasern der Abbildung aus endlich vielen Punkten bestehen und die Abbildung abgeschlossen ist (die Bilder von abgeschlossenen Mengen sind abgeschlossen).