推移的集合
有界な式によって定義された性質が推移的クラスに対して絶対的である ということから、推移的クラスは集合論の中におけるinterpretationsの構成のためにしばしば用いられる。 これはいわゆる内部モデルと言われるものである。
推移的集合(クラス)が集合論のformal systemのモデルであることを その理論の推移的モデルと言い表す。 推移性は式の絶対性を決定するのに重要な要因である。