Necessity and sufficiency

logical connective

conditional or implicational relationship between two statements: a necessary condition is one which must be present in order for another condition to occur, while a sufficient condition is one which produces the said condition

semantics of concepts