A number of elementary facts hold for linear i/o behaviors and about their relation with linear systems initialized at L.
We leave them as (easy) exercises.
All systems and i/o behaviors are assumed to be discrete-time here.
Lemma/Exercise 2.4.4 If P is linear, then O is linear.