Definition:Iff

Definition
The logical connective iff is a convenient shorthand for if and only if.

See Material Equivalence.