結果 : domain of a function in set builder notation