传递集 编辑
传递集合、即在策梅洛-弗兰克尔集合论或ZFC集合论中，一个集合



X


{\displaystyle X}

是传递的，如果
1