Идемпотентность: различия между версиями

Идемпотентный элемент <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>

 

 

== Операция ==