"greatest lower bound" Deutsche bedeutung