Definition:Characteristic Function of Set