Definition:Biconditional/Semantics of Biconditional/Necessary and Sufficient

Definition
Let $p \iff q$.

Then it can be said that $p$ is necessary and sufficient for $q$.

This is a consequence of the definitions of necessary and sufficient conditions.