Bir kümenin altkümelerinden oluşan, boş kümeyi içeren ve bileşim, kesişim işlemlerine kalımlı olan kümeler takımı.