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 the pth 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 over k. The theory also applies to any unital non-associative algebra A over a field k and any unital homomorphism σ from A to A such that σ(ke) ⊂ ke, e being the identity element of A.