Collectively compact

Türkçe: topluca kompakt

Açıklama: Toplu kompakt; operatörler ailesinin birlikte kompaktlık özelliği