6.5. Таксономические и номенклатурные синонимы

Существует два типа синонимов - таксономические и номенклатурные. Номенклатурные синонимы - это синонимы, основанные на одном и том же типе. Поэтому их синонимия абсолютна и не является предметом таксономического изучения, вследствие чего они называются также облигатными, объективными или гомотипными синонимами. Таксономические синонимы, наоборот, основаны на разных типах и являются синонимами до тех пор, пока соответствующие им типы считаются принадлежащими к одному и тому же таксону. Отсюда их названия - субъективные или гетеротипные синонимы. Номенклатурная синонимия может быть обозначена математическим знаком конгруэнтности (≡), а таксономическая - знаком равенства (=).