Definition:Characteristic Function of Subset