在逻辑中，同一（identity）关系通常被定义为只在一个事物和它自身之间成立的关系。就是说同一是两元谓词"="，使得对于所有"x"和"y"，""x" = "y""为真，当且仅当"x"和"y"是同一个事物。同一是传递的、对称的和自反的。它是最常见的模态逻辑的一个公理，对于所有"x"，如果"x" = "x"则必然"x" = "x"。