Bir ilingesel uzayda A içinden alman her bir diziden A daki bir noktaya yakınsayan bir yakınsak altdizi seçilebilen A altkümesi.