This is a definition from the book Introduction to manifolds by Tu (Page 61 definition 6.5)
My question is related to the highlighted part. Why is the highlighted portion the domain of the composition? Is it part of the definition or does it naturally follow somehow?
