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