Assertion: trace | /r/HasProperty | independent
Facets:
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.