We here show that the family of finite-dimensional, discrete-time, passive, linear time-invariant systems can be characterized through structure a matrix-convex set, which is maximal in sense being closed under products its elements Moreover, this observation unifies three setups: (i) difference inclusions, (ii) matrix-valued rational functions, (iii) realization arrays associated with function...