Necessary and Sufficient Condition

Definition

$p\Rightarrow q\wedge q\Rightarrow p$

$p$ is necessary for $q$ and $p$ is sufficient for $q$