2 ms·Yes, edited, meant greatest lower bound.by reikonomusha 9y agoYes, edited, meant greatest lower bound.