Clearly the statement above is evident to anyone with a grounding in mathematics, but out of curiosity, I tried to think of the underlying definition that allows this, and found I really just 'knew ...