术语 · Terminology

术语翻译表

每条记录都是一个具体数学义项。共识译名记录现实中的稳定译法；待定译名的投票长期持续，不会自动产生共识。

术语表目前仍在施工中，共识译名正在逐步确立，请谨慎参考。

下载稳定术语表 下载完整术语表 提交新术语

全部术语

分类对象是义项而非英文词形，查看分类说明

共 1727 个义项

1471 domain（集合论） 定义域
1472 empty set（集合论） 空集
1473 equivalence class（集合论） 等价类
1474 equivalence relation（集合论） 等价关系
1475 filter（集合论） 滤子
1476 forcing（集合论） 力迫法
1477 Grothendieck universe（集合论） Grothendieck 宇宙
1478 Gödel’s constructible hierarchy（集合论） Gödel 可构造层级
1479 Gödel’s constructible universe（集合论） Gödel 可构造宇宙
1480 inaccessible cardinal（集合论） 不可达基数
1481 infinite set（集合论） 无限集
1482 infinity（集合论） 无穷
1483 inhabited set（集合论） 有元集
1484 injection（集合论） 单射
1485 injective（集合论） 单
1486 intersection（集合论） 交
1487 least element（集合论） 最小元
1488 linear order（集合论） 线性序
1489 local membership relation（集合论） 局部属于关系
1490 lower bound（集合论） 下界
1491 Lévy hierarchy（集合论） Lévy 层级
1492 maximal element（集合论） 极大元
1493 meet（集合论） 交
1494 meet-semilattice（集合论） 交半格
1495 n-ary relation（集合论） n 元关系
1496 natural number（集合论） 自然数
1497 one-to-one correspondence（集合论） 一一对应
1498 ordered pair（集合论） 有序对
1499 ordinal number（集合论） 序数
1500 partial equivalence relation（集合论） 偏等关系