A monotonic function is one that is either entirely non-increasing or non-decreasing throughout its domain, meaning it preserves the order of its inputs. This property makes monotonic functions particularly useful in optimization and analysis as they guarantee the existence of limits and simplify convergence proofs.