Argument
Function application
Overview
mathematical operation of applying a function to an argument or arguments to obtain a value from its range
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Zermelo–Fraenkel set theory
- Function (mathematics)
- Mathematics
- Modus ponens
- Logical biconditional
- Domain of discourse
- Curry–Howard correspondence
- Set theory
- Saunders Mac Lane
- Category theory
- Currying
- Empty set
- Cartesian closed category
- Conservative extension
Place in the tradition
Part of Type theory.