generalization of

theory/notion/statement/algorithm which in some sense this theory/notion/statement/algorithm generalizes