עד כדי (מתמטיקה)

באופן כללי יותר המושג מאפשר לשייך שני עצמים לאותה מחלקת שקילות, כאשר יחס השקילות מצוין במפורש או במשתמע. "יש שדה סופי אחד מגודל 16, עד כדי איזומורפיזם" - אין פירושו של דבר שכל השדות בגודל 16 שווים זה לזה, אלא שהם איזומורפיים זה לזה. המשפט היסודי של האריתמטיקה קובע שלכל מספר טבעי יש פירוק יחיד לגורמים ראשוניים, עד כדי סדר הגורמים.

כדוגמה נוספת, הדיסקרימיננטה של תבנית ריבועית המוגדרת מעל שדה F היא איבר של השדה, "עד כדי ריבועים" (או: עד-כדי כפל בריבוע). הדיסקרימיננטה איננה איבר מוגדר היטב של החבורה הכפלית , אלא של חבורת המנה .