Überlagerung/Endlich/Anzahl/Definition

Endliche Überlagerung

Eine Überlagerung heißt endlich, wenn jede Faser eine endliche Menge ist.