In taxonomy, a name which, under the provisions of the International Code of Zoological Nomenclature, cannot be used as a valid name and which is set aside in favor of another name.