I am not sure if I understand this correctly. Please correct me.
In a formal system,
an interpretation is a mapping from its formal language to one of its structures ie models.
an formalization is a mapping from one of its models to its formal language?
So are they inverse processes to each other, in the sense that their domains and codomains are exchanged?
Thanks!