Math 偏序有限集极小元

归纳证明。非空有限集上的每个偏序至少有一个最小元素

---

I如何解决这个问题？

如果偏序集中只有一个元素，这是非常正确的。现在假设所有小于n的集合都是这样。将第n个元素与已知存在的（n-1）偏序集的最小元素进行比较。它要么是新的最小值，要么不是，要么是无与伦比的。这两种方式都无所谓。（为什么？

如果偏序的大小为1，这是显而易见的

假设偏序