Поглощающий элемент

Поглощающий элемент — особый тип элемента множества по отношению к бинарной операции над этим множеством.
Результатом объединения поглощающего элемента с любым элементом набора является сам поглощающий элемент.
В теории полугрупп поглощающий элемент называется нулевым элементом.
Поглощающие элементы особенно интересны для полугрупп, особенно для мультипликативной полугруппы полукольца.
В случае полукольца с 0 определение поглощающего элемента иногда смягчается.
Примеры поглощающих элементов: ноль любого кольца, Не число (NaN) в арифметике с плавающей запятой.
Множество бинарных отношений над множеством X с композицией отношений образует моноид с нулем, где нулевым элементом является пустое отношение.

Полный текст статьи:

Поглощающий элемент — Википедия