At http://www.math.osu.edu/~friedman/manuscripts.html section 1 paper #71 I put a revised version of Invariant Maximal Cliques and Incompleteness, October 6, 2011, 132 pages. The definition of order theoretic equivalence relation and standard order theoretic equivalence relation is given (improved), and see Theorem 6.2.9. Harvey Friedman