[see also: exchange
1
To justify the interchange of summation and integration, consider......
The interchange in the order of integration was legitimate, since......
2
It follows, by interchanging the roles of X and Y, that......
The lower limit is defined analogously: simply interchange sup and inf in (1).