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

deductive closure מתח
.מָתֵי	дедуктивное замыкание