Definition:Iff

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

Also see

 * Material Equivalence