How the Mandelbrot set is defined