Mantido pelo grupo "Topologia do Interior"
Se existir $\alpha \in \beta$ que satisfaça $\varphi$, tome o menor deles. Se não, tome o próprio $\beta$.