OBJECTIVE SYNONYM

Each of two or more different names applied to one and the same taxon based on the same type.