Полурешетка —
Полуструктура,- коммутативная идемпотентная полугруппа, т. е. полугруппа с тождествами х+у=у+х и х+х=х. Всякая полурешетка р=<р, +> может быть превращена в частично упорядоченное множество (частичный порядок вводится соотношением )...
Математическая энциклопедия