A ternary relation is called a cyclic order if it is cyclic, asymmetric, transitive, and total.
Потрійне відношення називається циклічним порядком, якщо воно циклічне, асиметричне, транзитивне і повне.