Definition (A-invariant). For a finite A⊆X, 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,xi′∈A implies c(x′)=c(x).