Is there any rigorous definition of a Mandelbrot set or is it as undefined as Mandelbrot himself? Doesn't he look a lot like a Mandelbrot set?