It's more than similar, it's gone from talking about the necessary properties of a function with an image smaller than its domain, to the impossibility of an in

It's more than similar, it's gone from talking about the necessary properties of a function with an image smaller than its domain, to the impossibility of an inverse function as the image cannot be larger than its domain. We might as well call this "the whole-pigeon principle."