Definition:Image Space of Integral Operator