Definition:Characteristic Function/Relation