In math, officially i is the "root" of x^2+1=0 or to be more precise, C is R[x]/x^2+1, i.e. you take all the polynomials in x and pretend that the polynomials A and B they are equivalent when A-B is a multiple of x^2+1.

There is also a construction with matices instead of polynomials.

And perhaps others. Each of them are useful in some cases.