Definition:Definition/If or Iff

From ProofWiki
Jump to navigation Jump to search


It is a standard convention, when making a definition in mathematics, to use if to introduce the definiens, when in fact the intent is generally iff, that is: if and only if.

This convention is specifically not followed on $\mathsf{Pr} \infty \mathsf{fWiki}$, where the mandatory style is to use if and only if.