Ejemplo: Número natural grande
Parece lógico imponer a la función de pertenencia que defina este conjunto, que podemos llamar GRANDE, las siguientes condiciones:
- Debe estar definida sobre el conjunto de los números naturales
- Debe ser creciente.
Cuestión: ¿Qué función se podría considerar?
Ejemplo 3: Abre el fichero perteneceGRA.html para ver distinas opciones para la función GRANDE que represente este conjunto.
Observación: Con esta única hipótesis, se puede deducir, por ejemplo, que si un número es mayor que uno grande también él es grande. En efecto, si  y
 y  es grande con
 es grande con  cada vez que GRANDE(m) supere un cierto nivel también lo hará GRANDE(n) y, en consecuencia, el carácter de
 cada vez que GRANDE(m) supere un cierto nivel también lo hará GRANDE(n) y, en consecuencia, el carácter de  implica el de
 implica el de  .
.






