Математическая энциклопедия
Частично упорядоченного множества — подмножество, содержащее вместе с любыми двумя элементами аи b весь интервал [ а, b](см. Интервал и сегмент). Л. А. Скорняков.
выпуклое подмножество