In mathematics, an algebraic number field is an extension field of the field of rational numbers such that the field extension has finite degree.
Thus is a field that contains and has finite dimension when considered as a vector space over.
Wikipedia