 On a structuralist interpretation, theories are complex model-structures. Here, mapping-relations play the role derivation is supposed to play on the syntactic interpretation of theories. We thus get (schematically, since the relevant function f is left unspecified):