Such a definition of the entropy relies on the fact that the Husimi Q representation remains non-negative definite, unlike other representations of quantum quasiprobability distributions in phase space. The Wehrl entropy has several important properties: