Definition:Generalised Ordered Space