Дійсно, оскільки відношення є послідовним, кожен елемент є у відношенні. Тоді, використовуючи симетрію, рефлексивність можна зробити висновок про транзитивність шляхом ідентифікації першої та третьої змінних у транзитивній аксіомі.
Зробіть текст більш зв'язним: Дійсно, оскільки відношення є послідовним, кожен елемент є у відношенні. Використовуючи симетрію, рефлексивність можна зробити висновок про транзитивність шляхом ідентифікації першої та третьої змінних в транзитивній аксіомі.