The connective in A⇔B (also denoted A congruent B) that returns a true result iff A and B are either both true or both false. The biconditional is also called an equivalence.

conditional | equivalent