Полугруппа графа

Полугруппа графа (Semigroup of graph) - множество эндоморфизмов графа, т.е. множество гомоморфизмов графа в себя. З. Хедрлин и А. Пультр доказали, что каждая конечная полугруппа с единицей изоморфна полугруппе некоторого графа.