Buenas
Entiendo que te refieres a la sección 3 del capítulo 2 (Axioma de completitud), si no es así te pido que me digas exactamente que dice el ejercicio.
La expresión 
simplemente se refiere a la división. En este caso concreto
se refiere al conjunto formado por todos los números de la forma cociente de dos enteros con numerador menor que denominador.
Lo segundo, el axioma de completitud dice que todo conjunto no vacío, acotado superiormente tiene supremo. Por lo que hay que probar ambas cosas.
En el conjunto del ejemplo, 
por lo que efectivamente no es vacío. Por lo que, si esta acotado superiormente entonces tiene supremo.
Si tienes otras dudas vuelve a escribir
Saludos