Definition:Definition/If or Iff
Jump to navigation
Jump to search
Definition
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.
Sources
- 1975: T.S. Blyth: Set Theory and Abstract Algebra ... (previous) ... (next): $\S 1$. Sets; inclusion; intersection; union; complementation; number systems