ということから、推移的クラスは集合論の中におけるsの構成のためにしばしば用いられる。