In Python, a function decorator is a mechanism where a higher-order function accepts a function as input and returns a modified function as output, effectively replacing the original reference during assignment. The decorated function is replaced by an internal "wrapper" function that augments the original behavior by intercepting arguments, executing pre-processing logic, invoking the original function, and potentially executing post-processing logic before returning the result. This pattern belongs to the domain of functional programming and software design, serving as a static mechanism for aspect-oriented programming to dynamically alter or augment function behavior at runtime without modifying the source code directly.
Prerequisite chain context: requires First-class Function Objects in Python.