Definition:Support of Characteristic Function