הקבוצה הנגזרת – הבדלי גרסאות

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