locally finite

Türkçe: yerel sonlu

Açıklama: Yerel sonlu; her kompakt kümeyle sonlu kesişen