True. Write and . All these suprema exist in . Since , we have for every , hence . Conversely, every , so is an upper bound of and . Thus the iterated extrema of an array satisfy