Love this definition from the original paper:

... any program is a model of a model within a theory of a model of an abstraction of some portion of the world or of some universe of discourse.

https://en.wikipedia.org/wiki/Lehman%27s_laws_of_software_evolution

#googplus