If and only if
From Iron Chariots Wiki
In logic the phrase if and only if means is logically equivalent to, or is a necessary and sufficient condition for.
For any statements P and Q,
- P if and only if Q
means the same thing as:
- P implies Q, and Q implies P
