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

یک صورت درجۀ دوم چندمتغیره که به‌‌ازای هر مقدار از متغیرها نامنفی است و فقط به‌‌ازای مقدار صفر متغیرها صفر می‌شود