partial cyclic order
ternary relation that is cyclic (if [𝑥,𝑦,𝑧] then [𝑧,𝑥,𝑦]), asymmetric (if [𝑥,𝑦,𝑧] then not [𝑧,𝑦,𝑥]) and transitive (if [𝑤,𝑥,𝑦] and [𝑤,𝑦,𝑧] then [𝑤,𝑥,𝑧])
ternary relation that is cyclic (if [𝑥,𝑦,𝑧] then [𝑧,𝑥,𝑦]), asymmetric (if [𝑥,𝑦,𝑧] then not [𝑧,𝑦,𝑥]) and transitive (if [𝑤,𝑥,𝑦] and [𝑤,𝑦,𝑧] then [𝑤,𝑥,𝑧])