Definition:Preimage of Relation