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

lattice-theoretic logic מתח
.מָתֵי	теоретико-решёточная логика