Kümenin elemanlarını, daha somut ya da daha kolay algılanır biçimde gerektiğinde sözel, gerektiğinde matematiksel bir ifade olarak ortaya koyma biçimidir. A = {x : (x in özeliği)} Burada “x :” ifadesi “öyle x lerden oluşur ki” diye okunur. Bu ifade “x |” biçiminde de yazılabilir.