הייתי מוסיף - קצת יותר פורמלית
עבור פונקציה g(x) , נגדיר את O(g(x)) d (די בשביל ליישר את הכתב), כקבוצת כל הפונקציות שנחסמות מלעמעלה ע"י כפולה של g(x) בקבוע החל מ x0 מסוים. כלומר, אם קיים a ו x0 כך שלכל x>x0, מתקיים f(x)<=a*g(x) d, נאמר כי f(x) = O

(מסמנים שווה מטעמי נוחות, אך המשמעות היא שייכות לקבוצה) כמו כן ישנו סימון של אומגה גדולה, לחסימה מלמטה, ותטא גדולה אם הפונקציה שייכת גם לאו, וגם לאומגה.