É x ^ 2 = y + 1 uma função?

A definição formal de uma função é

"Uma função relaciona cada elemento de um conjunto com exatamente um elemento de outro conjunto"

Daqui para # y = x ^ 2-1 # é uma função.

Em apoio à contribuição de Constantinos: escolha qualquer valor 1 para # x #. Se esse 1 valor de # x # refere-se a apenas 1 valor de # y # então é uma função.