Instead, a cyclic order is defined as a ternary relation , meaning "after a, one reaches b before c".
Вместо этого циклический порядок определяется как тернарное отношение , означающее, что «после a дoстигаем b раньше, чем c».