Lemma Higmanianum
Lemma Higmanianum in mathematica dicit copiam sequentiarum finitarum per alphabetum finitum, per relationem subsequentiae partim ordinatam, est bene-quasi-ordinatam. Quod dicere vult si w 1 , w 2 , … {\displaystyle w_{1},w_{2},\ldots } sit infinita verborum sequentia per quoddam alphabetum fixum finitum, tum tam fiunt indices i < j {\displaystyle i<j} ut w i {\displaystyle w_{i}} obtineri potest ex w j {\displaystyle w_{j}} per delenda nonnulla (fortasse nulla) symbola. Plerumque hoc manet verum cum alphabetum non necessarie sit finitum, sed se est bene-quasi-ordinatum, et relatio subsequentiae sinit ut symbola a symbolis prioribus in schedis bene-quasi-ordinatis substituuntur. Hic est specialis theorematis arborei Kruskaliani posterioris casus. Hoc lemma ex Graham Higman, qui id anno 1952 protulit, appellatur.