The basic resolvents of position and momentum operators form a total set in the resolvent algebra