bituruka ku byo akora yicaye umwanya muremure yumva ijwi ryumuyaga the first four axioms establish some elementary properties of the two primitive relations