How to use set builder notation?