Iff

当且仅当（即，必要 且 充分）。有时也使用术语“just if”或“exactly when”来代替。 iff 符号表示为 、 、 或 。 iff 也等价于 以及 ，其中符号 表示“蕴含”。其他等价的术语是“ 等价于 ”（）和“ 同或 ”。

J. H. Conway 认为这个词起源于 P. Halmos，并通过 Kelley（1955 年，第 232 页）传播开来，其中指出“ 在 处等度连续，当且仅当存在 的一个邻域，使得其在 的每次迭代下的像都很小。”

Halmos 曾表示：“就我所知，我确实发明了这个愚蠢的东西，但我不会在法庭上发誓。所以就这样吧——无论如何，把功劳归于我吧”（D. Asimov，私人通信，1997 年 9 月 19 日）。