Полугруппа с условием конечности
Полугру́ппа с усло́вием коне́чности, полугруппа, обладающая некоторым свойством таким, что всякая конечная полугруппа обладает этим свойством (такое свойство называется условием конечности). В определении свойства могут фигурировать элементы полугруппы, её подполугруппы и т. п. Примеры условий конечности: периодичность, локальная конечность, финитная аппроксимируемость, конечная порождённость, конечная определённость.
