A morphism f:X->Y is said to be separable if K(X) is a separable extension of K(Y).