Щільний порядок: відмінності між версіями

'''Щільний порядок'''&nbsp;— [[бінарне відношення]] між елементами множин у [[Частково впорядкована множина|частковому]] або [[Лінійно впорядкована множина|лінійному порядку]] (позначимо його <) на множині ''X,'' коли для всіх ''x'' і ''y'' з ''X,'' для яких виконується ''x'' ''< y,'' існує елемент ''z'' в ''X,'' такий що ''x'' ''< z'' < ''y.'' Іншими словами, порядок називають щільним, коли немає сусідніх елементів. Оскільки між будь-якими двома елементами щільного порядку є ще хоча б один, будь-який відрізок щільного порядку нескінченний<ref>{{Cite web|language=русский|url=http://www.mi-ras.ru/~podolskii/files/lecture5.pdf|title=Лекция 5: упорядоченные множества|last=|website=Математический институт им. В.А. Стеклова Российской академии наук|date=2015|publisher=|accessdate=29 червня 2021|archive-date=1 листопада 2019|archive-url=https://web.archive.org/web/20191101061205/http://www.mi-ras.ru/~podolskii/files/lecture5.pdf}}</ref>.