אממ..
מכיוון שכל "סדר גודל" מוגדר להיות קבוצה, לדעתי, הפחתה של שני סדרי גודל היא קבוצה של כל הפונקציות שחסומות מלעלה על ידי (f(x מוכפל בקבוע ולא חסומות מלמעלה על ידי (g(x מוכפל בקבוע. במילים אחרות, קבוצת כל הפונקציות שחסומות למלעלה על ידי (f(x וחסומות ממש מלמטה על ידי (g(x.