(mathematics, logic) if and only if, i.e. necessary and sufficient. For example, two figures are congruent iff one can be placed over the other so that they coincide.
Last updated: 2002-12-28