מרחב פרויקטיבי
מרחב פרויקטיבי הוא גאומטריה עם נקודות וישרים בלבד. יש כללים ברורים: דרך שתי נקודות נקבל ישר אחד. כל ישר מכיל לפחות שתי נקודות. מרחב פרויקטיבי מקיים כלל נוסף שנקרא אקסיומת ובלן-יאנג. זה אומר שזוגות מסוימים של ישרים שנחתכים משפיעים על זוגות אחרים. תת-מרחב הוא קבוצה של נקודות שכוללת גם את כל הישרי...