Теорема 3.19. Якщо функції та мають границі при , то існує границя суми цих функцій при , і вона дорівнює сумі границь:
.
Теорема 3.20. Якщо функції та мають границі при , то існує границя добутку цих функцій при , і вона дорівнює добутку границь:
.
Теорема 3.21. Якщо функції є сталою в деякому околі точки , то існує її границя при , і вона дорівнює цій сталій:
.
Наслідок теорем 3.19 та 3.20 – сталу можна виносити за символ границі:
.
Теорема 3.22. Якщо функції та мають границі при , і границя не дорівнює нулю, то існує границя частки цих функцій при , і вона дорівнює частці границь:
.
Зауваження. Оскільки , то існує деякий окіл точки , у якому , отже, у цьому околі існує частка даних функцій.
Означення 3.31.Функція називається нескінченно малою функцією або нескінченно малою величиною при , якщо її границя при дорівнює нулю:
.
Означення 3.32. Функція називається нескінченно великою функцією або нескінченно великою величиною при , якщо для будь-якого існує таке, що для всіх виконується нерівність :
.
Зауваження. Так само, як у числових послідовностях, нескінченно велика функція є необмеженою, але не будь-яка необмежена функція є нескінченно великою.
Теорема 3.23. Якщо функція є нескінченно малою при та існує деякий окіл цієї точки, у якому , то функція є нескінченно великою при .
Якщо функція є нескінченно великою при , то функція є нескінченно малою при .
Дані теореми можна довести, спираючись на означення границі за Гейне, що дозволяє скористатися відповідними теоремами для числових послідовностей.