Before revision: The system is time-invariant if and only if for all time , for all positive real constant and for all input .
After revision: The system is time-invariant if and only if for all time , for all real constant and for all input .