Последовательное отношение
- Последовательное отношение — это однородное отношение, связывающее элементы последовательности.
- Функция-преемница Пеано является прототипом последовательного отношения.
- Рассел использовал последовательные отношения в «Принципах математики» для исследования теории порядка.
- Термин «последовательное отношение» также использовался Бернштейном для исследования аксиом теории порядка.
- Последовательное отношение R — это конечное отношение к множеству U.
- Общее отношение может быть неоднородным, но последовательные отношения представляют исторический интерес.
- В обычной модальной логике расширение набора аксиом K свойством serial приводит к набору аксиом D.
- Рассел использовал соотношения для построения рядов в «Принципах математики».
- Прототипом является функция-преемница Пеано в виде отношения «один к одному» для натуральных чисел.
Полный текст статьи: