Полный русско-английский словарь
Biconditional operation, equivalence operation, identity operation, IF-AND-ONLY-IF operation