Property: perfect field

Definition: A field over which every irreducible polynomial has distinct roots.