Sufficient condition/Definition

(for a statement S) In mathematics, a propositon that implies S.