semi-group
نیم‌گروه
نیم‌گروه حذف پذیر
cancellative semi-group