Alfred Tarski
aw Knaster )和阿尔弗雷德·塔斯基(Alfred Tarski),它声称: 设 L 是完全格并设 f : L → L 是次序保持函数。则 f 在 L 中的不动点的集合也是完全格。
基于4506个网页-相关网页
应用推荐
模块上移
模块下移
不移动