Let be an extension of contained in . A number is called an algebraic integer of if it is the root of a monic polynomial with coefficients in , i.e., an element of that is integral over . Every algebraic integer is an algebraic number (with ), but the converse is false.