In this task you will be given a text passage from a trivia quiz. You should choose the category this question belongs to from these categories: History, Science, Social Science, Fine Arts, Literature. You can only choose one category, so if in doubt, please choose the closest match.
Q: 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.
A:
Science