If and only if

In logic, the phrase if and only if means "is logically equivalent to", or "is a necessary and sufficient condition for". It is often abbreviated iff.

For any statements P and Q,

P if and only if Q

means the same thing as:

P implies Q, and Q implies P.