Source Word
transitive closure
Noun
of a binary relation R on a set X
of a set X
Japanese Meaning
（順序論や集合論において）与えられた集合 X 上の二項関係 R を含み、推移性を満たすような最小の二項関係。 / （集合論において）与えられた集合 X を含み、推移性を持つ最小の集合。
（ plural ）
