Розглянуто квантову систему, розділену на підсистему та термостат. Після застосування перетворень Вігнера до рівняння фон Неймана для квантово-механічної матриці щільності системи одержано квантово-класичне рівняння Вігнера-Ліувілля у границі, де маси М частинок термостату великі у порівнянні з масами m частинок підсистеми.