推移閉包すいいへいほうすい'い・へい'ほう4

Math.transitive Hülletransitiver Abschlusseiner zweistelligen Relation