hilbert c-star-module