Definition:Image (Relation Theory)/Relation/Subset