1、f = if and only if 当且仅当；充要条件；必要且只要，都可以。

2、相当于if and only if，翻译过来就是“当且仅当”，或者是“等价于”，不仅离散数学这么用，很多涉及到数学的地方，比如数据结构，都会这么用。

3、顺便提一句，latex中“等价于”这个符号的命令也是\iff。