Such a Set, with the last Conclusion tacked on, is called a 'Sorites'; the original Set of Propositions is called its 'Premisses'; each of the intermediate Conclusions is called a 'Partial Conclusion' of the Sorites; the last Conclusion is called its 'Complete Conclusion,' or, more briefly, its 'Conclusion'; the Genus, of which all the Terms are Species, is called its 'Universe of Discourse', or, more briefly, its 'Univ.
"Symbolic Logic"
Lewis Carroll
Hence the original Set, with this tacked on, is a Sorites; the original Set is its Premisses; the Proposition "All h are d" is its Conclusion; the Terms a, b, c, e are its Eliminands; and the Terms d and h are its Retinends.
"Symbolic Logic"
Lewis Carroll
Hence we may write the whole Sorites thus:- "No a are b'; All b are c; All c are d; No e' are a'; All h are e'.
"Symbolic Logic"
Lewis Carroll