صورت معین مثبت

{positive definite form} [ریاضی] یک صورت درجۀ دوم چندمتغیره که به ازای هر مقدار از متغیرها نامنفی است و فقط به ازای مقدار صفر متغیرها صفر می شود

💡 نمایش‌دهنده یک جفت از فرایندهای تصادفی باشد که به صورت متصل مانای با مفهوم گسترده اند. آنوقت تابع میان-کوواریانس و تابع میان-همبستگی به این صورت معین می‌شوند.