olemus
üldistamise tulemus:
laiendus nõrgendatud määratlemiskriteeriumidega;
täpsemalt: A on B üldistus ja B on A erijuht täpselt siis,
kui B iga isend on ühtlasi A isend, kuid iga A isend ei ole B isend

Merriam-Webster:
2: a general statement, law, principle, or proposition

Wiktionary:
5. (mathematics) a proof, axiom, problem, or definition that includes another's cases, and also some additional cases; a conclusion reached by inferring from specific cases to more general cases or principles