Cada DAG da lugar a un ordenamiento parcial ≤ sobre sus vértices, donde "u" ≤ "v" exactamente cuando existe un camino directo desde "u" a "v".