p(x)} veya {x: p(x)} biçimindedir. Bu gösterimler p(x) açık önermesini sağlayan tüm x lerin kümesi anlamında kullanılır. p önermesi ise kümeyi belirleyen önermedir. Yukarıdaki kaynağı değiştir]
Aynı elemanlardan oluşan kümelere eşit kümeler denir. Eleman sayıları eşit olan kümelere denk kümeler denir.
Önemli Not: Eşit olan kümeler aynı zamanda denktir. Fakat denk kümeler eşit olmayabilir.