Mathematics
Mathematical logic
Abstraction
Set
Technical University of Denmark
Function
Category of sets