Let where and are -finite Measure spaces with Product sigma algebra . Then there exists unique measure on with: defined by: