Definition:Preimage of Element under Relation