separable closure
Let be a field and let be an algebraic closure of . The separable closure of inside is the compositum of all finite separable extensions
of contained in (that is to say, the smallest subfield
of that contains every finite separable extension of ).