אנגלית ⇄ רוסית +

effectively decidable relation מתח
.מָתֵי	эффективно разрешимое отношение