الدالة الصحيحة هي دالة قيمها أعداد عقدية وتكون تحليلية تامة على المستوى العقدي بأكمله، بحيث تقبل تمثيلاً كسلسلة قوى f(z)=∑_{n=٠}^∞ a_n z^n المتقاربة في كامل المستوى، وهو ما يعادل أن lim_{n→∞}|a_n|^{1/n}=٠ (أو ما يعبر عنه بـ lim_{n→∞} (ln|a_n|)/n = −∞).
دالة تامة التشكل (هولومورفية) دالة عقدية معرفة على مجموعة مفتوحة U⊂ℂ، وتكون قابلة للاشتقاق في كل نقطة من U بمعنى أن مشتقتها عند z0 توجد كالنهاية f'(z0)=lim_{z→z0}(f(z)−f(z0))/(z−z0). تشكل هذه الدوال فضاء داليا 𝒪_U وتضم أمثلة مثل متعددات الحدود والدوال الأسية والمثلثية المركبة.