Given an integrable function , then is integrable for almost all y.
Furthermore, we define for almost all , and is integrable and:
.
and a similar statement holds in the other variable.
all these pages adapted with probably insufficient credit from my university's lecture notes