同一性

在逻辑中，同一(identity)关系通常被定义为只在一个事物和它自身之间成立的关系。就是说同一是两元谓词 "="，使得对于所有 x 和 y，"x = y" 为真，当且仅当 x 和 y 是同一个事物。

同一是传递的、对称的和自反的。

它是最常见的模态逻辑的一个公理，对于所有 x，如果 x = x 则必然 x = x。

[编辑] 参见

• 同一律
• 等于
• 外延性