Description: Closure of the degree function on algebraic numbers. (Contributed by Stefan O'Rear, 25-Nov-2014)