mwarimu yambajije uko ukwezi gutandukanye nisi roho mutagatifu nasingizwe the first four pairs of axioms constitute a definition of a bounded lattice