S be a set of ordered triples (a,b,c) of distinct elements of a finite set A. Suppose that [*] (a,b,c)∈S⟺(b,c,a)∈S
[*] (a,b,c)∈S⟺(c,b,a)∈S
[*] (a,b,c),(c,d,a) both ∈S⟺(b,c,d),(d,a,b) both ∈S
Prove there exists g:A→R, such that g is one-one and g(a)<g(b)<g(c)⟹(a,b,c)∈S