Упорядоченный набор
- Биупорядоченное множество — математический объект, описывающий структуру множества идемпотентов в полугруппе.
- Множество идемпотентов в полугруппе является биупорядоченным множеством.
- Обычный биупорядоченный набор — биупорядоченный набор с дополнительным свойством.
- Множество идемпотентов в регулярной полугруппе — регулярное биупорядоченное множество.
- Концепция и терминология биупорядоченных множеств были разработаны К. С. С. Намбурипадом в 1970-х годах.
- Патрик Джордан ввел термин «boset» как сокращение от «bioordered set» в 2002 году.
- Определение биупорядоченного множества включает аксиомы и их двойники для произвольных элементов.
- Биупорядоченное множество может быть M-биупорядоченным множеством или регулярным биупорядоченным множеством.
Полный текст статьи: