Is there a mathematical term for "implied by an assertion"?

Question

For example, given the assertion that $m, n \in \mathbb{R}^{+}$, then $m + n \in \mathbb{R}^{+}$. This is not something that was originally asserted, but it is a direct logical consequence of the original assertion. Is there a commonly used term for such a thing?