Necessary and sufficient conditions
In logic, a necessary condition for a logical statement is a logical consequence of the statement, in the sense that if statement is true, then the condition must have held.