Se existir $\alpha \in \beta$ que satisfaça $\varphi$, tome o menor deles. Se não, tome o próprio $\beta$.