条件 "p"("x")は「"x" が "x" の元であって、さらに条件 "q"("x")を満たす」というような形で与えられることが多いが、このとき定まる集合を{"x" | "x" ∈ "x" かつ "q"("x")}のように書く代わりに、しばしば簡単に