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

defined by: