Let __\( X_1, X_2, \dots, X_n \)__ be a sample of a one-dimensional random variable __\( X \)__; let the order statistic __\( T(X_1 \)__, __\( X_2, \dots \)__, __\( X_n) \)__ be defined in such a manner that
__\[ T(x_1, x_2, \dots, x_n) = (x^{(1)}, x^{(2)}, \dots, x^{(n)}) \]__
where __\( x^{(1)} \leq x^{(2)} \leq \dots \leq x^{(n)} \)__ denote the ordered __\( x \)__’s; and let __\( \Omega \)__ be a class of one-dimensional cpf’s, i.e., cumulative probability functions. The order statistic, __\( T \)__, is said to be a complete statistic with respect to the class
__\[ \{P^{(n)} \mid P \in \Omega\} \]__
of __\( n \)__-fold power probability distributions if
__\[ E_p^{(n)}\bigl\{h[ T(X_1, \dots, X_n)]\bigr\} = 0 \]__
for all __\( P \in \Omega \)__ implies
__\[ h[ T(x_1, \dots, x_n)] = 0 \quad\text{a.e. }P^{(n)} ,\]__
for all __\( F \in \Omega \)__. The class __\( \Omega \)__ is said to be symmetrically complete whenever the latter condition holds. Since the completeness of the order statistic plays an essential role in nonparametric estimation and hypothesis testing, e.g., Fraser [1954] and Bell [1960], it is of interest to determine those classes of cpf’s for which the order statistic is complete. Many of the traditionally studied classes of cpf’s on the real line are known to be symmetrically complete, e.g., all continuous cpf’s [Lehmann 1959, pp. 131–134, 152–153]; all cpf’s absolutely continuous with respect to Lebesgue measure [Fraser 1957, pp. 23–31]; and all exponentials of a certain form [Lehmann 1959, pp. 131–134]. The object of this note is to present a different [Lehmann 1959, pp. 131–134, 152–153] demonstration of the symmetric completeness of the class of all continuous cpf’s; and to extend this and other known completeness results to probability spaces other than the real line, e.g., Fraser [1954], and Lehmann and Scheffé [1950; 1955].