伊夫

当且仅当（即。，必要的和足够的). 有时会使用“刚好如果”或“确切时间”来代替。若（iff）符号性地写为,,，或.若（iff）也相当于与一起,其中符号表示“暗示“其他等效术语包括"是相等的到" ()和“ XNOR公司 ."

J.H。康韦认为，这个词起源于P.Halmos，并通过凯利（1955，P.232）传播，凯利在那里写道“在如果有一个邻居每个图像下的图像很小。"

哈尔莫斯说：“据我所知，我做发明了这个愚蠢的东西，但我不会在法庭上发誓。所以，给我一个荣誉无论如何”（D.Asimov，pers.comm.，1997年9月19日）。