第一点,定义里写成一个字母可不代表他就是唯一的,万一有很多数都满足这个定义呢?事实上,在非豪斯多夫空间中,极限未必是唯一的。
第二点,解方程组倒确实是可以说明唯一性的,不过这暗含了你那个二元一次方程组的解的唯一性。