Son una clase de funciones suaves, esto es, son infinitamente diferenciables (tienen derivadas de todos los órdenes finitos).