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 combinatorics, used to calculate permutations and combinations, and has applications in various mathematical and scientific fields.