Weyl ordering rule and new Lie bracket of quantum mechanics

The product of quantum mechanics is defined as the ordinary multiplication followed by the application of superoperator that orders involved operators. The operator version of Poisson bracket is defined being the Lie bracket which substitutes commutator in the von Neumann equation. These result in obstruction free quantization, with the ordering rule which coincides with Weyl ordering rule.