צרפתית ⇄ רוסית +

bi-implication f מתח
.מָתֵי	логическая эквивалентность; эквиваленция