Noun
-
(logic) an inference that follows directly from the proof of another proposition
-
a practical consequence that follows naturally
"blind jealousy is a frequent corollary of passionate love"