Equivalence (biconditional, ) is a logical connective representing “if and only if,” returning true when both operands have the same truth value. Biconditionals express mutual implication and are essential for definitions in mathematics, where a property is defined as holding exactly when certain conditions are met.