Transitive reduction

の最小の推移関係。これは、R を含む推移関係全ての交わりに等しい。 推移還元 (transitive reduction) R− R と同じ推移閉包を持つ最小の関係。 反射推移閉包 (reflexive transitive closure) R∗ R∗ ≔ (R+)=; R を含む最小の前順序（擬順序;