שיכון (מתמטיקה) – הבדלי גרסאות

 

באופן פורמלי, אנו אומרים שקבוצה X משוכנת בקבוצה Y אם קיימת [[פונקציה חד-חד ערכית]] <math>\ f : X \to Y</math>. בדרך כלל, אם ל-X יש [[מבנה (מתמטיקה)|מבנה]] נוסף ([[מרחב טופולוגי|טופולוגיה]], [[מבנה אלגברי]] וכו') אנו דורשים מ-f שתשמר את אותו מבנה. באמצעות השיכון אנו יכולים לראות את המבנה X כתת-מבנה של Y.

 

==אלגברה==