Definition:Iff

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

See Material Equivalence.