CC system
In computational geometry, a CC system or counterclockwise system is a ternary relation pqr introduced by Donald Knuth to model the clockwise ordering of triples of points in general position in the Euclidean plane. == Axioms == A CC system is required to satisfy the following axioms, for all distinct points p, q, r, s, and t: Cyclic symmetry: If pqr then qrp.