推移閉包
推移閉包（すいいへいほう、英: transitive closure）は、集合 X における二項関係 R に対して、R を含む X 上の最小の推移関係 R+ を意味する。 たとえば X を人間（生死は問わない）の集合とし、「x は y の親である」という関係 xRy を考えると、その推移閉包は「x は y の先祖である」という関係 xR+y である。
推移閉包（すいいへいほう、英: transitive closure）は、集合 X における二項関係 R に対して、R を含む X 上の最小の推移関係 R+ を意味する。 たとえば X を人間（生死は問わない）の集合とし、「x は y の親である」という関係 xRy を考えると、その推移閉包は「x は y の先祖である」という関係 xR+y である。
推移閉包（すいいへいほう、英: transitive closure）は、集合 X における二項関係 R に対して、R を含む X 上の最小の推移関係 R+ を意味する。 たとえば X を人間（生死は問わない）の集合とし、「x は y の親である」という関係 xRy を考えると、その推移閉包は「x は y の先祖である」という関係 xR+y である。
出典: Wikipedia「推移閉包」 · CC BY-SA 4.0
この記事を共有: X · Bluesky