Bajo reglas de la nomenclatura zoológica, estos nombres son sinónimos menores.