几何基本概念的进一步抽象