Every [algebraically closed field](/page/Algebraically%20Closed%20Field) is separably closed: all separable polynomial equations over the field already split inside it. This records that algebraic closedness is stronger than separable closedness and removes all finite separable extensions.