Bir ilingesel uzayda, her açık kümeyi bir alttakımın bileşimi olurlayan ve açık kümelerden oluşan takım.