<LATEX language="en">
Identity Definition
</LATEX>
We define the identity constant and have some atoms and a proposition.
Michael Meyling
<LATEX language="en">
The Only One
</LATEX>
<LATEX language="en">Identity</LATEX>
identity definition
<LATEX language="en">Identity\index{identity}\index{definition!of identity}</LATEX>
#1 \ = \ #2