Domain and range and composition of functions