It refers to a setS andP(x) be a property that elements ofSmay or may not satisfy. We may define a new set to be the set of all elementsxinSsuch thatP(x) is true. The set is denoted as follows: {x∈S|P(x)}