  For a broad class of Frechet-Lie supergroups we prove that there exists a
correspondence between positive definite smooth superfunctions and matrix
coefficients of unitary representations. We also give a characterization of
linear functionals on the corresponding universal enveloping algebra which
correspond to matrix coefficients of analytic unitary representations.
