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

properly consistent set מתח
.מָתֵי	собственно непротиворечивое; собственно непротиворечивое множество