有次序的几何空间
An ordered geometric space