File:Completeness IFS MeasureSpace.pdf