The purpose of this paper is to outline a simple theory of separability for a non-associative algebra A with semi-linear homomorphismσ. Taking A to be a finite dimensional abelian Lie p-algebra L and σ to be thepth power operation in L, this separability is the separability of [2]. Taking A to be an algebraic field extension K over k and σ to be the Frobenius (pth power) homomorphism in K, this separability is the usual separability of K overk. The theory also applies to any unital non-associative algebraA over a field k and any unital homomorphismσ from A to A such that σ(ke) ⊂ke, e being the identity element of A.