Definition: A field over which every irreducible polynomial has distinct roots.
(No citations retrieved.)