Ontify
Generalization of a polynomial, where the number of terms is allowed to be infinite, defined algebraically without consideration of convergence (so that e.g. evaluation is not always defined).