notation)は、漸近的にタイトな限界ではない、漸近的な上界をあたえる。0n→∞lim​g(n)f(n)​=0が成立する。notation)は、漸近的にタイトな限界ではない、漸近的な下界をあたえる。\inftyn→∞lim​g(n)f(n)​=∞が成立する。推移性は、Θ、O、Ω、o、ωのすべてにおいて成り立つ。\omega(h(n))f(n)=ω(g(n))∧g(n)=ω(h(n))⟹f(n)=ω(h(n))反射性は、Θ、O、Ωにおいてのみ成り立つ。\Omega(f(n))f(n)=Ω(f(n))対称性は、Θにおいてのみ成り立つ。\Theta(f(n))f(n)=Θ(g(n))⟺g(n)=Θ(f(n))また、OとΩ、oとωのそれぞれについて転置対称性が成り立つ。bω≈a>bのような類似性が見出されるが、漸近関係についてはかならずしもどれかひとつが成立するとは限らないことに注意。