Linear Discrete-Time Behaviors
We not define linear behaviors.
We choose a definition that incorporates the fact that an input identically equal to zero should not affect the system.
Definition 2.4.3 the discrete-time i/o behavior M is linear (over the field N) if: