Упорядоченное множество — множество с заданным отношением порядка.