离散数学中的IFF标记

数学中的IFF标记

当且仅当（ If and only if，缩写为：IFF)，中文翻译为：当且仅当。

在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在，并且仅仅在这些条件成立的时候”的缩写。

常用符号“≡” “⇔” “双向箭头⟷”表示。