Por ejemplo, puede probarse que la siguiente ecuación define una función implícita en cierta región o un abierto de formula_4 entre las variables "x" e "y":