five lemma noun1 •A particular lemma that claims the existence of a particular isomorphism in a commutative diagram given certain other homomorphisms in the diagram.