About: Cyclic order
Ternary relation that is cyclic (if 𝑥,𝑦,𝑧 then 𝑧,𝑥,𝑦), asymmetric (if 𝑥,𝑦,𝑧 then not 𝑧,𝑦,𝑥), transitive (if 𝑤,𝑥,𝑦 and 𝑤,𝑦,𝑧 then 𝑤,𝑥,𝑧) and connected (for distinct 𝑥,𝑦,𝑧, either 𝑥,𝑦,𝑧 or 𝑧,𝑥,𝑦)
Ternary relation that is cyclic (if 𝑥,𝑦,𝑧 then 𝑧,𝑥,𝑦), asymmetric (if 𝑥,𝑦,𝑧 then not 𝑧,𝑦,𝑥), transitive (if 𝑤,𝑥,𝑦 and 𝑤,𝑦,𝑧 then 𝑤,𝑥,𝑧) and connected (for distinct 𝑥,𝑦,𝑧, either 𝑥,𝑦,𝑧 or 𝑧,𝑥,𝑦)
