El nombre le fue asignado por Giovanni Riccioli, cuyo sistema de nomenclatura de 1651 se ha estandarizado.