设tr(·)是ℳ+上的迹，若对使得tr(A)=+∞的任一A∈ℳ+，必有B∈ℳ+，使得 A≥B≠0，而且tr(B)<+∞，则称tr(·)是半有限迹。