The notion of properness, well-known for constant linear systems, is generalized to the time-varying case. In a module theoretic framework intrinsic characterizations of input-output system properness are derived. For this, ltrations and the associated Hilbert polyno-mials are used. Classical criteria for properness of polynomial and state representations for constant linear systems are general...