In words: a system is shift-invariant if and only if, for any input x1[n], (1) shifting the input by some number of samples n0, and then passing it through the system, gives exactly the same result as (2) passing it through the system, and then shifting it.