(The concept of) a taxon as formally denoted by a name which is available according to the rules of nomenclature, for which a corresponding type is or may be assigned, and which a taxonomist may either recognize as valid or place in synonymy with another.