1. (в алгебрі) півгрупа, що утворюється з іншої півгрупи шляхом факторизації (виділення фактор-множини) за певною конгруенцією (відношенням еквівалентності, сумісним з операцією).
фактор-півгрупа
Буква
Приклади вживання
Відсутні
Частина мови: іменник (однина) |