常用工具
有声词典
语法查询
拼写检查
更多工具
软件
首页
动画
Flash
文章
软件
中文详解
经典例句
良基关系
在数学中,类 X 上的一个二元关系 R 被称为是良基的,当且仅当所有 X 的非空子集都有一个 R-极小元;就是说,对 X 的每一个非空子集 S,存在一个 S 中的元素 m 使得对于所有 S 中的 s,二元组 (s,m) 都不在 R 中。
更多句子>>>