单射包络 2) single envelope 单包络 3) injective envelope 内射包络 1. The definition ofinjective envelopes of an extension of a Hilbert C * modules over a C * algebra is introduced, and is characterized in terms of the injectivity and essence. ...