higher-order term - Spanisch Englisch Wörterbuch