結果 : set builder notation discrete math