术语 · Terminology

术语翻译表

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

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

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

集合论与数理逻辑

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

共 229 个义项

31 inaccessible cardinal（集合论）不可达基数

32 infinite set（集合论）无限集

33 infinity（集合论）无穷

34 inhabited set（集合论）有元集

35 injection（集合论）单射

36 injective（集合论）单

37 intersection（集合论）交

38 least element（集合论）最小元

39 linear order（集合论）线性序

40 local membership relation（集合论）局部属于关系

41 lower bound（集合论）下界

42 Lévy hierarchy（集合论） Lévy 层级

43 maximal element（集合论）极大元

44 meet（集合论）交

45 meet-semilattice（集合论）交半格

46 n-ary relation（集合论） n 元关系

47 natural number（集合论）自然数

48 one-to-one correspondence（集合论）一一对应

49 ordered pair（集合论）有序对

50 ordinal number（集合论）序数

51 partial equivalence relation（集合论）偏等关系

52 partial equivalence relation (PER)（集合论）偏等关系

53 partial order（集合论）偏序

54 power set（集合论）幂集

55 product set（集合论）积集

56 proper class（集合论）真类

57 proper subset（集合论）真子集

58 proper superset（集合论）真超集

59 reflection principle（集合论）反映原理

60 regular cardinal number（集合论）正则基数