推移的集合
数学の集合論（必ずしもZFCではない一般の集合論）において、集合 "A" が推移的（）であるとは、
もしくは、同じ意味であるが
であることをいう。同様にクラス "M" が推移的であるとは、"M" の要素が全て "M" の部分集合であることをいう。