gulf stream: a warm ocean current that flows from the Gulf of Mexico northward through the Atlantic Ocean
abstraction: a general concept formed by extracting common features from specific examples
integral: the result of a mathematical integration; F(x) is the integral of f(x) if dF/dx = f(x)