biconditional Definition

Describing a relationship between two statements that are both necessary and sufficient conditions for each other, meaning that each statement guarantees the truth of the other; the condition can be expressed as ‘P if and only if Q’, where P implies Q and Q implies P