Domain of the relation x+y=4