Denebola (nombre propio): Estrella notable de la constelación de Leo.