Вводится понятие о k-потентных множествах в моноидах, k ϵ N. Устанавливаются их простейшие свойства. Выделяется класс однородных моноидов, обладающих набором образующих элементов. Устанавливаются простейшие необходимые свойства того, чтобы фиксированное множество в таком моноиде было k-потентным