传递闭包：修订历史

2025年9月4日 (星期四)

• 当前之前 08:102025年9月4日 (四) 08:10 Apocalypse 留言 贡献 小 2,945字节 +30 已还原Apocalypse（讨论）的编辑至最后由Tabelog修订的版本 标签：回退
• 当前之前 08:092025年9月4日 (四) 08:09 Apocalypse 留言 贡献 小 2,915字节 −30 已还原Tabelog（讨论）的编辑至最后由QWQ-bili修订的版本 标签：回退 已被回退

2025年8月31日 (星期日)

• 当前之前 11:062025年8月31日 (日) 11:06 Tabelog 留言 贡献 小 2,945字节 +30 无编辑摘要 标签：已被回退 可视化编辑

2025年8月8日 (星期五)

• 当前之前 17:392025年8月8日 (五) 17:39 QWQ-bili 留言 贡献 小 2,915字节 −15 文字替换 -“序数#有限序数与超限序数”替换为“序数#有限序数”

2025年8月7日 (星期四)

• 当前之前 11:422025年8月7日 (四) 11:42 Zhy137036 留言 贡献 小 2,930字节 +12 →关系的传递闭包
• 当前之前 11:402025年8月7日 (四) 11:40 Zhy137036 留言 贡献 2,918字节 +562 无编辑摘要

2025年8月4日 (星期一)

• 当前之前 17:312025年8月4日 (一) 17:31 QWQ-bili 留言 贡献 小 2,356字节 +114 修改排版
• 当前之前 16:322025年8月4日 (一) 16:32 Zhy137036 留言 贡献 2,242字节 +2,242 创建页面，内容为“'''定理'''（传递闭包唯一存在） 对任意集合 <math>X</math>，存在唯一集合 <math>Y</math>，满足如下条件 * <math>Y</math> 是传递集； * <math>X\sube Y</math>； * 如果传递集 <math>Z</math> 满足 <math>X\sube Z</math>，则 <math>Y\sube Z</math>。 '''证明''' 使用自然数集上的归纳法，定义集合列 <math>X_0,X_1,X_2,\cdots</math> 满足： * <math>X_0=X</math>； * <math>X_{n+1}=X_n\cup(\bigcup X_n)</math>…”