"Pena que supone el encerramiento de un condenado de por vida en una prisión" (RAE. Diccionario panhispánico del español jurídico, 2023).