Iff

當且僅當（即，必要 且 充分）。有時也使用術語“just if”或“exactly when”來代替。 iff 符號表示為 、 、 或 。 iff 也等價於 以及 ，其中符號 表示“蘊含”。其他等價的術語是“ 等價於 ”（）和“ 同或 ”。

J. H. Conway 認為這個詞起源於 P. Halmos，並透過 Kelley（1955 年，第 232 頁）傳播開來，其中指出“ 在 處等度連續，當且僅當存在 的一個鄰域，使得其在 的每次迭代下的像都很小。”

Halmos 曾表示：“就我所知，我確實發明了這個愚蠢的東西，但我不會在法庭上發誓。所以就這樣吧——無論如何，把功勞歸於我吧”（D. Asimov，私人通訊，1997 年 9 月 19 日）。