iff

如果僅僅、當且僅當、"等價"