欧式空间的定义:

1、 从一点向另一点可以引一条直线。

2、 任意线段能无限延伸成一条直线。

3、 给定任意线段，可以以其一个端点作为圆心，该线段作为半径作一个圆。

4、 所有直角都相等。

5、 若两条直线都与第三条直线相交，并且在同一边的内角之和小于两个直角，则这两条直线在这一边必定相交。