Theoretical computer science
Function
FO
Filter
Μ operator
Outline of algebraic structures
Mathematics
Mathematical logic
Functions and mappings