https://1library.org/document/y4w6j705-note-finite-basis-finite-rank-properties-pseudovarieties-semigroups.html