Відношення часткового порядку
Ставлення порядку — Цю статтю слід вікіфікувати. Будь ласка, оформіть її згідно з правилами оформлення статей. Бінарне ставлення на … Вікіпедія
Бінарне ставлення — Цей термін має й інші значення, див. Відношення. У математиці бінарним ставленням називається підмножина декартового твору двох множин. Зокрема, бінарним ставленням на множині називається… … Вікіпедія
Симетричне ставлення — У математиці бінарне відношення на множині X називається симетричним, якщо для кожної пари елементів множини виконання відношення спричиняє виконання відношення. Формально, відношення симетричне, якщо . Антисиметричність … Вікіпедія
Частково впорядкована множина — Цей термін має й інші значення, див. Упорядкована множина. Підмножини , … Вікіпедія
Теорема Шпільрайна — Теорема Шпільрайна одна з центральних теорем теорії впорядкованих множин, вперше сформульована та доведена польським математиком Едвардом Шпільрайном у 1930 році. Зміст 1 Формулювання 2 Доказ … Вікіпедія
Повний порядок — У математиці частково впорядкованою множиною називається множина, на якій визначено відношення часткового порядку. Неформально можна сказати, що це ставлення вводить якусь ієрархію елементів множини, вибудовує залежності між ними, …
Упорядковані та частково впорядковані множини — У математиці частково впорядкованою множиною називається множина, на якій визначено відношення часткового порядку. Неформально можна сказати, що це ставлення вводить якусь ієрархію елементів множини, вибудовує залежності між ними, …
Частковий порядок — У математиці частково впорядкованиймножиною називається множина, на якій визначено відношення часткового порядку. Неформально можна сказати, що це ставлення вводить якусь ієрархію елементів множини, вибудовує залежності між ними, …
Напівупорядкований простір - загальна назва векторних просторів, в яких визначено бінарне відношення часткового порядку, узгоджене певним чином з векторною структурою простору. Введення порядку у функціональних просторах дозволяє досліджувати в загальних… Математична енциклопедія
Тимчасові мітки Лампорту — Тимчасові мітки Лампорту простий алгоритм визначення порядку подій у розподіленій системі. Оскільки синхронізувати всі вузли неможливо, вводиться ставлення часткового порядку з мінімальними витратами. Даний метод є… … Вікіпедія
Топологічне сортування — упорядкування вершин безконтурного орієнтованого графа згідно з частковим порядком, заданим ребрами орграфа на безлічі його вершин. 1 Приклад 2 Алгоритм 2.1 … Вікіпедія