عرضِ عام کسی نوع کو دوسری تمام انواع سے ممتاز کرنے کے لیے کافی ہے۔معرِّف اور اس کی اقسام: حدِ تام، حدِ ناقص، رسمِ تام، رسمِ ناقص