* Идемпотентный элемент <math>e</math> '''содержит''' идемпотентный элемент <math>f</math> (обозначается <math>e\geqslant f</math>), если <math>ef=e=fe</math>.
**Идемпотентный Дляэлемент ассоциативных<math>e</math> [[Кольцо'''содержит''' идемпотентный элемент <math>f</math> (математикаобозначается <math>e\geqslant f</math>)|колец]], иесли [[Полугруппа|полугрупп]]<math>ef=e=fe</math>. отношениеОтношение <math>\geqslant</math> является отношением [[частичный порядок|частичного порядка]] в множестве <math>E</math> идемпотентных элементов и называется естественным частичным порядком на множестве <math>E</math>.
* Два идемпотентных элемента ассоциативного [[кольцо (математика)|кольца]] (которое будет полугруппой по умножению) <math>u</math> и <math>v</math> кольца называются '''ортогональными''', если <math>u v = 0 = v u</math>.