Let " $ \Rightarrow $ " represent a system.
If for any signal $ X(t)\Rightarrow Y(t) $ implies that $ X(t - t_o)\Rightarrow Y(t - t_o) $ then the system is time invariant.
