Ordine pre-topologico - Pre-topological order
Nel campo dell'informatica , un ordine pre-topologico o pre-topologico di un grafo orientato è un ordinamento lineare dei suoi vertici tale che se c'è un percorso diretto dal vertice u al vertice v e v viene prima di u nell'ordinamento , poi c'è anche un percorso diretto dal vertice v al vertice u .
Se il grafo è un grafo aciclico diretto (DAG), gli ordinamenti topologici sono ordinamenti pre-topologici e viceversa. In altri casi, qualsiasi ordinamento pre-topologico fornisce un ordine parziale .