Türkçe: kompakt operatör
Açıklama: Kompakt operatör; sınırlı kümeleri göreceli kompakt kümelere gönderen operatör