separably algebraically closed field
A field is called separably algebraically closed if every separable element of the algebraic closure of belongs to .
In the case when has characteristic 0, it is separably algebraically closed if and only if it is algebraically closed.
If has positive characteristic , is separably algebraically closed if and only if its algebraic closure is a purely inseparable extension of .