Oh! This is about the image of a function?! And M is the domain, and codomain of the two functions f and g?! Still, if that's right, it's hard to understand from the example. So the example is saying that a composition exists for any two functions if they share the same domain and codomain.