المجموعات الفرعية وال حاصل لها صلة بالطريقة التالية: يمكن النظر الى المجموعة الفرعية h من g على انها خريطة تباي h → g, اي ان اي عنصر من عناصر الهدف لديه على الاقل عنصر واحد الخرائط لها. نظيره خرائط تباي هي خرائط surjective (كل عنصر من عناصر الهدف هو مخطط لها), مثل الخريطة المتعارف عليها g → g / n. (ي) ['] تفسير الفريق الفرعي وال الحواصل في ضوء هذه homomorphism, يؤكد على المفهوم الهيكلي الكامن في هذه التعريفات المشار اليه في المقدمة. بشكل عام, لا هل ولا surjective. نواة وصورة مجموعة homomorphism و نظرية isomorphism الاولى تعالج هذه الظاهرة.
ما هو مثال على خريطة surjective?
الخريطة المتعارف عليها