Definition (Necessary)

Given two statements $A,B$ we say $A$ is necessary if $$A\impliedby B$$i.e. in order for $B$ to be true it is necessary that $A$ is true.