Task: Text Categorization
Input (English): The surreal numbers have the universal embedding property for ordered varieties of these objects. A finite one with n elements exists if and only if n is a prime or a power of a prime. One is called "algebraically closed" if univariate polynomials whose coefficients are elements of it also has a solution in it. FTP, identify these mathematical structures, examples of which include the reals and the complex numbers but not the quaternions, and which are defined as rings wherein every element has a multiplicative inverse.
Output (English): Science