Normal extension/Definition

A field extension which contains all the roots of an irreducible polynomial if it contains one such root.