моделью становится принятым обозначать теорию, которая обладает структурным подобием по отношению к другой теории. Две такие теории называются изоморфными, а одна из них выступает как модель другой, и наоборот.