field consisting of germs of real-valued functions at infinity that are closed under differentiation
No description defined