Como primer punto, es necesario construir todos los pares ordenados posibles con los valores de A, para luego verificar si cumplen la condición, esto se hace combinando todos los elementos de A.
Los pares ordenados son : <img src="https://tex.z-dn.net/?f=a%29%20%282%2C2%29%5C%5Cb%29%20%282%2C3%29%5C%5Cc%29%20%282%2C9%29%5C%5Cd%29%20%283%2C2%29%5C%5Ce%29%20%283%2C3%29%5C%5Cf%29%20%283%2C9%29%5C%5Cg%29%20%289%2C2%29%5C%5Ch%29%20%289%2C3%29%5C%5Ci%29%289%2C9%29" />son 9 vectores posibles.
Ahora necesitamos saber si cumplen la condición dada : <img src="https://tex.z-dn.net/?f=y%2B1%5Cleq%20x%5E%7B2%7D" />esto nos indica que la segunda componente más uno tiene que ser menor o igual al cuadrado de la primera componente.
Esto es fácil de comprobar para cada vector , si lo haces resulta que los vectores que cumplen esta condición son : a, b, d, e, g, h, i.
Es decir, que 7 pares ordenados cumplen la condición.