Частично упорядоченная группа

Частично упорядоченные группы — это алгебраические объекты с частичным порядком.
Частично упорядоченные группы образуют категорию вместе с понятием морфизма.
Примеры частично упорядоченных групп включают целые числа в обычном порядке и упорядоченные векторные пространства.
Частично упорядоченные группы обладают свойствами, такими как архимедово свойство и интегральная замкнутость.
Каждая подгруппа частично упорядоченной группы также является частично упорядоченной группой.
Частично упорядоченные группы используются в определении значений полей и других математических объектах.

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

Частично упорядоченная группа — Википедия