Hrm, `ImageSet.inf` and `ImageSet.sup` should use this functionality.