Definition:Preimage under Relation