Necessary condition/Definition

(for a statement S) In mathematics, a proposition such that whenever it is not true then S is also false; cf. necessary and sufficient.