In mathematics, especially functional analysis, a quasitrace is a not necessarily additive tracial functional on a C*-algebra.
An additive quasitrace is called a trace.
It is a major open problem if every quasitrace is a trace.
A quasitrace on a C*-algebra A is a map
τ :