Математическая энциклопедия
Частично упорядоченного множества — подмножество, состоящее из двух элементов таких, что между ними в данном частично упорядоченном множестве нет других элементов, т. е.
простой интервал