缩写自英语短语 'if and only if',首次使用于20世纪的数学和逻辑学文献中。
iff — 数学和逻辑学中的常用缩写,用于表示两个命题之间的充分必要条件关系。
“A shape is a square iff it has four equal sides and four right angles.”
(一个形状是正方形当且仅当它有四条相等的边和四个直角。)