[ww520]

The "topological" in topological sort is more related to "network topology" than the mathematical topology (open sets). "Sort" is related to ordering. Topological sort thus is related to the ordering of a network graph's nodes by their edges.

You can see https://en.wikipedia.org/wiki/Topological_sorting to see what it actually is. Topological sort is good in dealing with dependency graph. It can turn a dependency graph into a linear ordering of nodes.

GP mentioned topological sort because words depend on other defining words and it's one big directed acyclic graph. Do a topological sort on it and you got a linear list of words ordered by dependency. Group the consecutive words that have no dependency together and you got the word layers. Within each layer all the words don't depend on each other. The words in one layer depend on the words in the lower layers.

[__MatrixMan__]

I don't think mathematical topology and network topology are different concepts.

The open sets in a network topology are the subsets of nodes that happen to be connected by the edges. So if you can't get from here to there without using a node outside your set, then your set isn't an open set in the network topology.

[dbmueller]

Except unions of open sets are required to be open, so the case for topology here is not what you're describing (assuming standard definitions).

Generally, the topology on a graph will look like what you get if you draw your graph in the euclidean plane (or space, whatever) without intersections of edges.

The notion of closeness of vertices in this case isn't really well described by "point set topology", but you'd rather use the notion of distance between vertices (length of a shortest path). But even then, the distance stuff generally assumes non-directed edges, because you generally want the distance from A to B to be the same as from B to A.

In short, I don't think "point set topology" has much to say here, at least as usually done.

[ww520]

You're right. You can use the more general mathematical topology to describe a network topology. It's just mathematical topology speaks in sets, compactness, closeness that people not visualize well. The simpler and more specific network topology or network graph can be visualized very well.