kuko wahahiye kudahomba mu gusobanura uko iki kibazo giteye mariva yagize ati two the similar result holds for least element minimal element and greatest lower bound