Necessary condition

Necessary condition

F is a necessary condition of G if G(x) ?x F(x). F is a necessary and sufficient condition of G if G(x) = F(x). — A.C.

Fuente: The Dictionary of Philosophy