General topology's abstraction cannot fully escape the metric intuitions that historically motivated...
This proposition has not been edited since the history system was added.