Definition:Preimage of Subset under Relation