El Espacio Aéreo de Ruta Libre (FRA), un nuevo concepto implementado en todo el espacio aéreo europeo, está diseñado para eliminar los efectos adversos del tráfico aéreo, reducir el consumo de combustible, simplificar y expandir la planificación de vuelos. En nuestra investigación, modelamos el sistema FRA utilizando la teoría de grafos y utilizamos redes y análisis convexo para estudiarlo. Trabajamos con un espacio bidimensional definido por latitud y longitud. Sabemos que las propiedades matemáticas básicas de una disciplina científica se pueden expresar utilizando axiomas matemáticos. Por lo tanto, en nuestro trabajo, buscamos responder a la pregunta, ¿cuáles son las propiedades matemáticas básicas del espacio aéreo? Encontramos un objeto matemático que puede describir el espacio aéreo en general. Utilizando este objeto, formulamos un axioma que describe el espacio aéreo. Nuestro axioma se da a través de puntos de entrada y salida prácticos y significativos en el espacio aéreo.