Domain of a Composite Function