"least upper bound" Deutsche bedeutung