ndarwaye kandi ndambiwe madamu maruta n'inshuti ze zisakuza the similar result holds for least element minimal element and greatest lower bound