* מתאים/לא-מתאים
** :: ההגדרה קובעת שעצמים (במחלקה מסויימת) העונים על תנאי ההגדרה ייקראו בשם מסויים. הגדרה כזו היא למעשה פרדיקט בן משתנה אחד, המקבל ערך אמת T כשמציבים במשתנה עצם העונה לתנאים, וערך אמת F בכל מקרה אחר. למשל,
::::: '''משולש''' הוא מצולע שיש לו שלושה קודקודים; '''או'''
::::: מצולע יקרא '''משולש''' אם יש לו שלושה קודקודים.
:: באותו אופן בדיוק, במקום לדבר על עצם בודד, אפשר לדבר על הקשר בין שני עצמים (או יותר). למשל, "אדם x הוא ה'''בעלים''' של רכב y אם הרכב רשום על שמו במשרד התחבורה". ההגדרה הזו אינה מתייחסת לשאלה האם x הוא בעלים, באופן כללי, אלא רק לקשר בין x ל-y מסויימים. כמובן שעכשיו אפשר להגדיר "x הוא '''בעל רכב''' אם קיים y אשר x הוא הבעלים שלו".
* הגדרה מאפיינת
** :: הגדרה כזו דומה לסוג הראשון בכך שהיא מבוססת על פרדיקט, אלא שהיא מנצלת תכונה נוספת שלו: קיום ויחידות.
:: נניח שלפרידקט יש משתנה אחד, כלומר, ההגדרה בודקת האם עצם מסויים עונה להגדרה או לא. אם אפשר להוכיח שיש עצם אחד ויחיד העונה להגדרה, אפשר להצמיד לשמו את הא הידיעה:
::::: המספר היחיד a שעבורו הנגזרת של הפונקציה <math>\ a^x</math> שווה לעצמה, נקרא '''בסיס הלוגריתמים הטבעי'''.