Em um conjunto $X$ com uma relação de ordem $\leq$, o fecho para baixo de um elemento $x\in X$ é comumente denotado por $\lceil x \rceil$ e consiste no conjunto $\lceil x \rceil = \{y \in X : y \leq x\}$. Mais geralmente, dado $Y\subset X$ um subconjunto qualquer, denotamos também $\lceil Y \rceil =\displaystyle \bigcup_{y\in Y}\lceil y \rceil$. Dizemos ainda que $Y$ é fechado para baixo se $Y = \lceil Y\rceil$. No estudo de grafos, estamos particularmente interessados no caso em que $X$ é o conjunto de vértices de uma árvore e $\leq$ é a ordem obtida ao fixarmos uma raiz.