Definition (A-invariant). For a finite AX, we say that a colouring of Xn is A-invariant if it is invariant under chaning the coordinates within A. i.e. for x=(x1,,xn), x=(x1,,xn) if i either xi=xi or xi,xiA implies c(x)=c(x).