binomial theorem: a theorem giving the expansion of a binomial raised to a given power
abstraction: a general concept formed by extracting common features from specific examples
ortygan: any of several East Indian birds