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 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 implica el de .