cover — mathematical structure mapped onto another instance