Good alternative definition, and you did a good job showing the definition symbolically.
I liked how he correctly defined time invariant/variant system. It was nice he included a symbolic definition of it too. Makes it a lot easier to read than words.