自由幂等半群

свободная полугруппа идемпотентов

пословный:

自由	幂等半群
zìyóu 1) свобода; свободный 2) вольный, не стеснённый правилами (программой) 3) либеральный zìyou диал. незанятый, праздный	_полугруппа идемпотентов, идемпотентная полугруппа; идемпотентная полугруппа