الدالة الصحيحة هي دالة قيمها أعداد عقدية وتكون تحليلية تامة على المستوى العقدي بأكمله، بحيث تقبل تمثيلاً كسلسلة قوى f(z)=∑_{n=٠}^∞ a_n z^n المتقاربة في كامل المستوى، وهو ما يعادل أن lim_{n→∞}|a_n|^{1/n}=٠ (أو ما يعبر عنه بـ lim_{n→∞} (ln|a_n|)/n = −∞).
