Обобщенная Группа

То же, что инверсная полугруппа.