The factorial of a non-negative integer n, denoted as n!, is the product of all positive integers less than or equal to n. It is a fundamental concept in mathematics that has applications in various areas, including counting principles and the binomial theorem.