Definition:Definition/If or Iff

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: .

This convention is specifically not followed on, where the mandatory style is to use .