In this paper we consider a system as a relation between input, internal variables and output. This relation is given by the solution space of the system's equations. For time invariant linear systems in differential operator representation the solution space carries aK[s]-module structure defined by the ordinary differential operator. This algebraic structure is exploited systematically to develop a self-contained theory of strict system equivalence in time domain.