A perfect field is a field of characteristic p that has p-th root.

The perfect closure is the smallest extension that makes frobenius surjective.