更改

== 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}}}}