Talk:Mind the Gap

Does anyone know if this thing has a standard/common name? --Dfeuer (talk) 08:20, 29 January 2013 (UTC)


 * Never heard of it. Where did you get it from? --prime mover (talk) 08:42, 29 January 2013 (UTC)


 * No idea. Lord_Farin used it without proof in User:Dfeuer/Totally Ordered Group with Order Topology is Topological Group, so I figured I'd factor it out. But in the process, I got the nagging idea in my head that I've encountered it in some textbook or other at some point. --Dfeuer (talk) 08:49, 29 January 2013 (UTC)