The requirement that the maps between the model and the real world must be commutative in this way is known as a homomorphism. Thus, the goal of modeling under this view is to find a set of equivalence classes and a transition function that results in a useful homomorphism.
