空间平行线的传递性

公理4表述的性质通常叫做空间平行线的传递性