nk'uko ingingo ikurikira iri bubigaragaze the first four pairs of axioms constitute a definition of a bounded lattice nk'uko umwami wacu yababariye