example, consider the field C of complex numbers, over which we may define the field C(x) of rational functions in C. If , then the field C(x, y) is an elliptic function field. The element x is not uniquely determined; the field can also be regarded, for instance, as an extension of C(y). The algebraic curve corresponding to the function field is simply the set of points (x, y) in C2 satisfying . If the field F is not algebraically closed, the point of view of function fields is a little more general than that of considering the locus of points, since we include, for instance, "curves" with no points on them. For example, if the base field F is the field R of real numbers, then defines an algebraic extension field of R(x), but the corresponding curve considered as a subset of R2 has no points. The equation does define an irreducible algebraic curve over R in the scheme sense (an integral, separated one-dimensional schemes of finite type over R). In this sense, the one-to-one correspondence between irreducible algebraic curves over F (up to birational equivalence) and algebraic function fields in one variable over F holds in general. Two curves can be birationally equivalent (i.e. have isomorphic function fields) without being isomorphic as curves. The situation becomes easier when dealing with nonsingular curves, i.e. those that lack any singularities. Two nonsingular projective curves over a field are isomorphic if and only if their function fields are isomorphic. Tsen's theorem is about the function field of an algebraic curve over an algebraically closed field. Complex curves and real surfaces A complex projective algebraic curve resides in n-dimensional complex projective space CPn. This has complex dimension n, but topological dimension, as a real manifold, 2n, and is compact, connected, and orientable. An algebraic curve over C likewise has topological dimension two; in other words, it is a surface. The topological genus of this surface, that is the number of handles or donut holes, is equal to the geometric genus of the algebraic curve that may be computed by algebraic means. In short, if one consider a plane projection of a nonsingular curve that has degree d and only ordinary singularities (singularities of multiplicity two with distinct tangents), then the genus is , where k is the number of these singularities. Compact Riemann surfaces A Riemann surface is a connected complex analytic