극한(비교)

||[math(x \in D)]이고 열린집합 [math(O_{\delta})]가 존재하여 [math(a \in O_{\delta})]이고 [math(x \in O_{\delta} \backslash \left\{ a \right\})] 이다. ||

{{{#gray ([math(O_{\delta} \backslash \left\{ a \right\} \neq \emptyset)] 가 된다. 물론 [math(a \in \left(a-\delta,\ a+\delta \right))] 자체가 [math(O_{\delta})]로 될 수 있어 위 식을 [math(O_{\delta})]로 표기하지 않고 [math(O)]로 표기할 수 있겠으나, 델타를 다루는 부분에서 변형되었음을 이해할 수 있도록 편의상 [math(O)] 아래 [math(\delta)]를 붙여둔다.)}}}

2번 식을 보자. {{{#gray ([math(f\left(x\right))]의 범위를 다루는 부분인데, 변수 하나의 함수를 [math(y=f\left(x\right))] 식으로 다루는 경우가 많기 때문에 여기에서 집합의 지점이나 범위를 언급할 때 편의상 [math(y)]를 들어서 설명한다.)}}} [math(y=L)] 지점을 포함하는 아무 열린집합 [math(O_{\epsilon})]을 가져온다고 하자.

이 때 [math(O_{\epsilon}\cap\left(L-\epsilon,\ L+\epsilon\right))]은 [math(\left(L-\epsilon,\ L+\epsilon\right))]의 부분집합이 된다. {{{#gray (델타를 언급하는 부분과 같이 여기에서는 엡실론을 언급하므로 [math(O)]에 [math(\epsilon)]을 첨자로 달아놓았다.)}}}