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

least-upper-bound theorem מתח
.מָתֵי	теорема о точной верхней границе