Eine Überlagerung p : Y → X {\displaystyle {}p\colon Y\rightarrow X} heißt endlich, wenn jede Faser eine endliche Menge ist.