Упорядоченное множество

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

Эта статья взята у (из) Wikipedia. Текст лицензируется по Creative Commons - Attribution - Sharealike. К медиа файлам могут применятся дополнительные условия.