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

left-cancellative groupoid מתח
.מָתֵי	группоид с левым сокращением; группоид с левым законом сокращения