<LATEX language="en">
Identity Predicate Definition
</LATEX>
We define the class operator constant and some other things.
Michael Meyling
<LATEX language="en">
The Only One
</LATEX>
<LATEX language="en">Identity</LATEX>
is a member of
ist enthalten in
<LATEX language="en">Membership Operator</LATEX>
<LATEX language="de">Elementbeziehung</LATEX>
#1 \in #2
identity definition
Definition der Identität
<LATEX language="en">Identity\index{identity}\index{definition!of identity}</LATEX>
<LATEX language="de">Identität\index{Identität}\index{Definition!der Identität}</LATEX>
#1 \ = \ #2