Một hệ thống tuyến tính là bất biến nếu thoả mãn tính chất sau:

Nếu y(n) là đáp ứng của kích thích x(n) thì y(n-k) là đáp ứng của kích thích x(n-k).

Nếu y(n) là đáp ứng của kích thích x(n) thì y(n-k-1) là đáp ứng của kích thích x(nk).

Nếu y(n) là đáp ứng của kích thích x(n-k) thì y(n-k) là đáp ứng của kích thích x(n).

Nếu y(n-k) là đáp ứng của kích thích x(n) thì y(n-k) là đáp ứng của kích thích x(n).