定义和含义

在逻辑学内部，同一律指的是一个对象就是这个对象。

用集合的语言表示，就是一个元素[math]\displaystyle{ x }[/math]所代表的含义是确定的，称为集合元素的互异性。