Normal extension

In algebra, a normal extension of fields is a field extension E/F which contains all the roots of an irreducible polynomial if it contains one such root.