English > English | |
corollary | |
1. n. Something given beyond what is actually due; something added or superfluous. | |
2. n. Something which occurs a fortiori, as a result of another effort without significant additional effort. | |
Finally getting that cracked window fixed was a nice corollary of redoing the whole storefont. | |
3. n. (mathematics, logic) A proposition which follows easily from the proof of another proposition. | |
We have proven that this set is finite and well ordered; as a corollary, we now know that there is an order-preserving map from it to the natural numbers. | |
4. adj. (rare) Forming a proposition that follows from one already proved. | |