First-class functions are a core concept in functional programming where functions are treated as first-class citizens, meaning they can be passed as arguments, returned from other functions, and assigned to variables. This enables higher-order functions and allows for more flexible and modular code design.