A field that is either of characteristic 0, or of positive characteristic p such that every element admits a p-th root
