1 a practical consequence that follows naturally; "blind jealousy is a frequent corollary of passionate love"
2 (logic) an inference that follows directly from the proof of another proposition
EtymologyFrom Latin corollarium meaning "deduction, consequence", originally "money paid for a garland," hence "gift, gratuity, something extra." From Latin corolla "small garland", diminutive of corona "crown."
- Something given beyond what is actually due; something added or superfluous.
- 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.
- 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.
A corollary is a statement which follows readily from a previously proven statement. In mathematics a corollary typically follows a theorem. The use of the term corollary, rather than proposition or theorem, is intrinsically subjective. Proposition A is a corollary of proposition B if A can readily be deduced from B, but the meaning of readily varies depending upon the author and context. The importance of the corollary is often considered secondary to that of the initial theorem; A is unlikely to be termed a corollary if its mathematical consequences are as significant as those of B. Sometimes a corollary has a proof that explains the derivation; sometimes the derivation is considered to be self-evident.
corollary in Arabic: البديهيه
corollary in German: Korollar
corollary in Japanese: 結果
corollary in Italian: corollario
corollary in French: corollaire
corollary in Portuguese: Corolário
corollary in Russian: Следствие
corollary in Serbian: Короларије
corollary in Swedish: Följdsats
accession, accessory, accompaniment, addenda, addendum, additament, addition, additive, additory, additum, adjunct, adjuvant, aftereffect, annex, annexation, appanage, appendage, appendant, appurtenance, appurtenant, attachment, attendant, augment, augmentation, by-product, coda, complement, conclusion, concomitant, consequence, consequent, continuation, deduction, derivation, derivative, development, distillate, effect, end product, event, eventuality, eventuation, extension, extrapolation, fixture, fruit, harvest, illation, increase, increment, induction, inference, issue, legacy, logical outcome, offshoot, offspring, outcome, outgrowth, pendant, precipitate, product, reinforcement, result, resultant, sequel, sequela, sequence, sequent, side effect, side issue, supplement, tailpiece, undergirding, upshot