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

primitive recursive equality מתח
.מָתֵי	примитивно-рекурсивное равенство; примитивно рекурсивное равенство