so dass man die algebraische Struktur der Quantenmechanik erhält. Konkret identifiziert man die Observablen der klassischen Mechanik als glatte Funktionen auf einer Poisson-Mannigfaltigkeit. Die algebraische Struktur, welche diese Funktionen bilden, nennt man "Poisson-Algebra" und sie ist zusätzlich kommutativ.