biconditional

adjective Logic.

1. (of a proposition) asserting that the existence or occurrence of one thing or event depends on, and is dependent on, the existence or occurrence of another, as “A if and only if B.”

noun

1. another name for equivalence (def. 2)