Definition:Characteristic Function of Relation