更改

== Mathematical properties ==

== Mathematical properties 数学性质 ==

=== Reachability, transitive closure, and transitive reduction ===

=== Reachability, transitive closure, and transitive reduction ===

可达性，传递闭包和传递归约

可达性，传递闭包和传递归约

{{multiple image|image1=Tred-G.svg

{{multiple image|image1=Tred-G.svg

|width1=175|image2=Tred-Gprime.svg|width2=124|caption1=A DAG {{mvar|G}}|caption2=Transitive reduction of {{mvar|G}}}}

|width1=175|image2=Tred-Gprime.svg|width2=124|caption1=A DAG {{mvar|G}}|caption2=Transitive reduction of {{mvar|G}}}}