anteojo de estrella.

Marina y Naútica (Mar.) El de pequeño tamaño que se coloca en los instrumentos de reflexión usados a bordo para observar las alturas de las estrellas.