Faithful mapping of model classes to mathematical structures