A non-negative function is a mathematical function that only outputs zero or positive values, regardless of its input. This characteristic is crucial in various fields such as probability, where it ensures that probabilities are always non-negative, and in optimization, where it helps in defining feasible regions.