Una definición etiquetada con el