גאומטריית חילה – הבדלי גרסאות

=== הדיאגרמה של גאומטריה ===

 

 

למשל, גאומטריה פרויקטיבית d-ממדית היא קווית, ויתרה מכך, לכל שני טיפוסים סמוכים יש הגאומטריה של המישור הפרויקטיבי. גאומטריה אפינית d-ממדית היא קווית, ויתרה מכך, לכל שני טיפוסים סמוכים יש הגאומטריה של המישור הפרויקטיבי, פרט לטיפוסים 0,1 שלהם יש הגאומטריה של המישור האפיני. בגאומטריה קשירה-שאריתית שבה על כל ישר יש לפחות שלוש נקודות, אם יש לה הדיאגרמה של גאומטריה פרויקטיבית d-ממדית, אז היא כזו. בגאומטריה קשירה-שאריתית שבה על כל ישר יש לפחות ארבע נקודות, אם יש לה הדיאגרמה של גאומטריה אפינית d-ממדית, אז היא כזו. (גאומטריה היא '''קשירה''' אם כל אובייקט מחובר לכל אובייקט אחר בשרשרת של אובייקטים שבה כל שני אברים סמוכים חלים זה בזה; ו'''קשירה-שאריתית''' אם כל גאומטריה שאריתית של דגל החסר לפחות שני טיפוסים, היא קשירה).