Category:Integral of Characteristic Function