We review the basic theory of super G-spaces. We prove a theorem relating the action of a super Harish-Chandra pair  on a supermanifold to the action of the corresponding super Lie group G. The   proposed formulation does not use super Frobenius’ theorem but relies on Koszul’s realization of the structure sheaf of a super Lie group.