推移閉包
推移閉包（すいいへいほう、）は、集合 "X" における二項関係 "R" に対して、"R" を含む "X" 上の最小の推移関係 "R" を意味する。
たとえば "X" を人間（生死は問わない）の集合とし、「"x" は "y" の親である」という関係 "xRy" を考えると、その推移閉包は「"x" は "y" の先祖である」という関係 "xRy" である。あるいは "X" を空港の集合とし、「"x" から "y" への直通便が存在する」という関係 "xRy" を考えると、その推移閉包は「"x" から "y" まで一回または複数の航空便で行くことができる」という関係 "xRy" である。