Definition talk:Order Topology

I see your use of "mathop": how does that work? --prime mover 09:12, 27 March 2012 (EDT)