Definition, synonyms and related words
Which contains as an element every root of every nonconstant univariate polynomial definable over it (i.e., over said field).