where 
and 
are real numbers and 
is an algebraic quantity satisfying the rule 
[M3.1]
is: the set of all numbers of the form where and are real numbers and is an algebraic quantity satisfying the rule [M3.1]
Copyright 1997, The Open University