صورت نیمه‌معین

یک صورت درجۀ دوم بر یک فضای بُرداری روی یک میدان مرتب که مقادیر آن همگی نامنفی یا همگی نامثبت باشد