set builder notation discrete math - Search