常用离散数学名词中英文对照

常用离散数学名词中英文对照

集合：

set

元素：

element

严格定义

:well defined

成员

:member

外延原理

:principle of extension

泛集

(

全集

) :universal set

空集

:empty set(null set)

子集

:subset

文氏图

:venn diagram

并

:union

交

:intersection

相对补集

:relative complement

绝对补集

:absolute complement

补集

:complement

对偶性

:duality

幂等律

:idempotent laws

组合律

:associative laws

交换律

:commutative laws

分配律

:distributive laws

同一律

:identity laws

对合律

:involution laws

求补律

:complement laws

对偶原理

:principle of duality

有限集

:finite set

计算原理

:counting principle

类

:class

幂集

:power set

子类

:subclass

子集合

:subcollection

命题

:proposition

命题计算

:proposition calculus

语句

:statement

复合

:compound

子语句

:substatement

合取

:conjunction

析取

:disjuction

否定

:negation

真值表

:truth table

重言式

:tautology

矛盾

:contradiction

逻辑等价

:logical equivalence

命题代数

:algebra of propositions

逻辑蕴涵

:logicalimplication

关系

:relation

有序对

:ordered pair

划分

:parti-on

偏序

:partial order

整除性

:divisibility

常规序

:usual order

上确界

:supremum

下确界

:infimum

上

(

下

)

界

:upper(lower) bound

乘积集

:product set

笛卡儿积

:cartesian product

笛卡儿平面

:cartesian plane

二元关系

:binary relation

定义域

:domain

值域

:range

相等

:equality

恒等关系

:identity relation

全关系

:universal ralation

空关系

:empty ralation

图解

:graph

坐标图

:coordinate diagram

关系矩阵

:matrix of the relation

连矢图

:arrow diagram

有向图

:directed graph

逆关系

:inverse relation

转置

:transpose

复合

:composition

自反

:reflexive

对称的

:symmetric

反对称的

:anti-symmetric

可递的

:transitive

等价关系

:equivalence relation

半序关系

:partial ordering relation

函数

:function

映射

:mapping

变换

:transformation

像点

:image