Consider the earlier problem of modeling the weather. Rather than worrying about the position and characteristics of every atom in the atmosphere (an impossible task to be sure), we first use equivalence classes to collapse this space down to, say, measures of pressure and humidity. We next develop notions of how patterns of pressure and humidity are transformed over time.

