集合論
集合論(必ずしもZFCではない一般の集合論)において、集合 "A"が推移的であるとは、