A⊆R, f∈RA ve a∈D(A∩(−∞,a)) ( veya a∈D(A∩(a,∞)) olmak üzere
lim veya \lim\limits_{x\to a^+}f(x)=\mp \infty ise x=a doğrusuna f fonksiyonunun bir düşey asimptotu denir.
NOT: D(A\cap (-\infty,a)):=\left\{a|a, A\text{'nın soldan yığılma noktası}\right\}
D(A\cap (a,\infty)):=\left\{a|a, A\text{'nın sağdan yığılma noktası}\right\}