A nondegenerate operator action is an action of a -algebra
of operators on a Hilbert
space
such that
for all
implies that
. Algebras
which act nondegenerately are sometimes said to be nondegenerate.
One can show that such an algebra is nondegenerate if and only if the subspace
is dense in .
Any -algebra
containing the identity operator
necessarily acts nondegenerately.