El teorema de Svenonius establece la correspondencia entre la definibilidad de relaciones en una estructura numerable y los grupos de automorfismos de estas relaciones en extensiones de la estructura. Esto puede ayudar a encontrar una descripción de la retícula constituida por todos los espacios de definibilidad (reductos) de la estructura original. Los resultados sobre retículas de definibilidad solo se obtuvieron previamente para estructuras -categóricas con firma finita. En nuestro trabajo, introducimos el concepto de una estructura completada hacia arriba y definimos la completación hacia arriba de una estructura. Para estructuras completadas hacia arriba, la correspondencia de Galois entre la retícula de definibilidad y la retícula de supergrupos cerrados del grupo de automorfismos de la estructura es una anti-isomorfismo. Describimos la clase natural de estructuras que tienen completación hacia arriba, las llamamos grafos discretamente homogéneos, presentamos la construcción explícita de su completación y los grupos de automorfismos de las completaciones. Establecemos la propiedad general de localidad de grafos discretamente homogéneos y presentamos ejemplos de estructuras completables y sus completaciones.