Assertion: trace | /r/HasProperty | finite
Facets:
value: of the choice of basis
type: OTHER
Source sentences:
text: In mathematics, a trace-class operator is a compact operator for which a trace may be defined, such that the trace is finite and independent of the choice of basis.