\documentclass [fleqn]{article}

\setlength {\overfullrule }{1mm}

\usepackage{latexsym}

\setlength{\parindent}{0em}

\setlength{\parskip}{1ex}

\usepackage{graphicx}

\usepackage[dvipdfm=true]{hyperref}

\hypersetup{pdfpagemode=none}

\hypersetup{pdfstartpage=1}

\hypersetup{pdfstartview=FitBH}

\hypersetup{pdfpagescrop={120 130 490 730}}

\hypersetup{pdftitle=Logiweb dictionary of equivalence-relations}

\hypersetup{colorlinks=true}

\everymath{\rm}

\hyperbaseurl{http://www.diku.dk/cgi-bin/cginetd/grue/relay/go/01CAC6CCAF219B4B6AE615227D405524213BD551C3DDDDDF829384A30806/2/dictionary/tex/page.tex}

\begin {document}\raggedright

\makebox [0mm][l]{\makebox [\linewidth ][r]{\includegraphics [0mm,18.5mm][16.5mm,19mm]{/home/disk07/grue/logiweb/20060417/html/logiweb/doc/logiweb.eps}}}%
{\bf {\Large Logiweb dictionary of $\rm EquivalenceRelations$}}

\vspace {12.5mm}

\href {../index.html}{Up}
\href {http://www.diku.dk/~grue/logiweb/20060417/logiweb/doc/browser/dictionary/index.html}{Help}


\newlength{\idlength}
\settowidth{\idlength}{176}
\newlength{\aritylength}
\settowidth{\aritylength}{99}
\vspace{2ex}
\makebox[\idlength][r]{0}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm EquivalenceRelations$

\makebox[\idlength][r]{1}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm (\cdots{})$

\makebox[\idlength][r]{2}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm \texttt{Objekt-var}$

\makebox[\idlength][r]{3}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm \texttt{Ex-var}$

\makebox[\idlength][r]{4}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm \texttt{Ph-var}$

\makebox[\idlength][r]{5}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm \texttt{V\ae{}rdi}$

\makebox[\idlength][r]{6}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm \texttt{Variabel}$

\makebox[\idlength][r]{7}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{1}%
\makebox[0.5em]{}%
$\rm Op(\ast
)$

\makebox[\idlength][r]{8}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm Op(\ast
,\ast
)$

\makebox[\idlength][r]{9}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast
 \mathrel {\ddot {=}} \ast$

\makebox[\idlength][r]{10}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{1}%
\makebox[0.5em]{}%
$\rm ContainsEmpty(\ast
)$

\makebox[\idlength][r]{11}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm 
Dedu(\ast
,\ast
)$

\makebox[\idlength][r]{12}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm 
Dedu_0(\ast
,\ast
)$

\makebox[\idlength][r]{13}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{3}%
\makebox[0.5em]{}%
$\rm Dedu_{s}(\ast
,\ast
,\ast
)$

\makebox[\idlength][r]{14}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{3}%
\makebox[0.5em]{}%
$\rm 
Dedu_1(\ast
,\ast
,\ast
)$

\makebox[\idlength][r]{15}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{3}%
\makebox[0.5em]{}%
$\rm 
Dedu_2(\ast
,\ast
,\ast
)$

\makebox[\idlength][r]{16}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{4}%
\makebox[0.5em]{}%
$\rm 
Dedu_3(\ast
,\ast
,\ast
,\ast
)$

\makebox[\idlength][r]{17}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{4}%
\makebox[0.5em]{}%
$\rm 
Dedu_4(\ast
,\ast
,\ast
,\ast
)$

\makebox[\idlength][r]{18}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{4}%
\makebox[0.5em]{}%
$\rm 
Dedu_4^*(\ast
,\ast
,\ast
,\ast
)$

\makebox[\idlength][r]{19}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{3}%
\makebox[0.5em]{}%
$\rm 
Dedu_5(\ast
,\ast
,\ast
)$

\makebox[\idlength][r]{20}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{4}%
\makebox[0.5em]{}%
$\rm 
Dedu_6(\ast
,\ast
,\ast
,\ast
)$

\makebox[\idlength][r]{21}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{4}%
\makebox[0.5em]{}%
$\rm 
Dedu_6^*(\ast
,\ast
,\ast
,\ast
)$

\makebox[\idlength][r]{22}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{1}%
\makebox[0.5em]{}%
$\rm 
Dedu_7(\ast
)$

\makebox[\idlength][r]{23}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm 
Dedu_8(\ast
,\ast
)$

\makebox[\idlength][r]{24}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm 
Dedu_8^*(\ast
,\ast
)$

\makebox[\idlength][r]{25}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Ex_{1}$

\makebox[\idlength][r]{26}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Ex_{2}$

\makebox[\idlength][r]{27}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Ex_{10}$

\makebox[\idlength][r]{28}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Ex_{20}$

\makebox[\idlength][r]{29}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{1}%
\makebox[0.5em]{}%
$\rm \ast
 _{Ex}$

\makebox[\idlength][r]{30}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{1}%
\makebox[0.5em]{}%
$\rm \ast
 ^{Ex}$

\makebox[\idlength][r]{31}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{4}%
\makebox[0.5em]{}%
$\rm \langle \ast
{\equiv} \ast
| \ast
{:=} \ast
\rangle_{Ex} $

\makebox[\idlength][r]{32}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{4}%
\makebox[0.5em]{}%
$\rm \langle \ast
{\equiv}^0 \ast
| \ast
{:=} \ast
\rangle_{Ex} $

\makebox[\idlength][r]{33}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{4}%
\makebox[0.5em]{}%
$\rm \langle \ast
{\equiv}^1 \ast
| \ast
{:=} \ast
\rangle_{Ex} $

\makebox[\idlength][r]{34}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{4}%
\makebox[0.5em]{}%
$\rm \langle \ast
{\equiv}^* \ast
| \ast
{:=} \ast
\rangle_{Ex} $

\makebox[\idlength][r]{35}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm ph_{1}$

\makebox[\idlength][r]{36}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm ph_{2}$

\makebox[\idlength][r]{37}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm ph_{3}$

\makebox[\idlength][r]{38}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{1}%
\makebox[0.5em]{}%
$\rm \ast
 _{Ph} $

\makebox[\idlength][r]{39}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{1}%
\makebox[0.5em]{}%
$\rm \ast
 ^{Ph}$

\makebox[\idlength][r]{40}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{4}%
\makebox[0.5em]{}%
$\rm \langle \ast
{\equiv} \ast
| \ast
{:=} \ast
\rangle_{Ph} $

\makebox[\idlength][r]{41}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{4}%
\makebox[0.5em]{}%
$\rm \langle \ast
{\equiv}^0 \ast
| \ast
{:=} \ast
\rangle_{Ph} $

\makebox[\idlength][r]{42}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{4}%
\makebox[0.5em]{}%
$\rm \langle \ast
{\equiv}^1 \ast
| \ast
{:=} \ast
\rangle_{Ph} $

\makebox[\idlength][r]{43}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{4}%
\makebox[0.5em]{}%
$\rm \langle \ast
{\equiv}^* \ast
| \ast
{:=} \ast
\rangle_{Ph} $

\makebox[\idlength][r]{44}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm \mathsf {bs}$

\makebox[\idlength][r]{45}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm  \mathsf {OBS}$

\makebox[\idlength][r]{46}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm {\cal BS}$

\makebox[\idlength][r]{47}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm \mathrm{\O}$

\makebox[\idlength][r]{48}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm ZFsub$

\makebox[\idlength][r]{49}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm MP$

\makebox[\idlength][r]{50}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Gen$

\makebox[\idlength][r]{51}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Repetition$

\makebox[\idlength][r]{52}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Neg$

\makebox[\idlength][r]{53}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Ded$

\makebox[\idlength][r]{54}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm ExistIntro$

\makebox[\idlength][r]{55}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Extensionality$

\makebox[\idlength][r]{56}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm \O{}def$

\makebox[\idlength][r]{57}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm PairDef$

\makebox[\idlength][r]{58}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm UnionDef$

\makebox[\idlength][r]{59}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm PowerDef$

\makebox[\idlength][r]{60}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm SeparationDef$

\makebox[\idlength][r]{61}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm CheatAllDisjoint$

\makebox[\idlength][r]{62}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm AddDoubleNeg$

\makebox[\idlength][r]{63}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm RemoveDoubleNeg$

\makebox[\idlength][r]{64}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm AndCommutativity$

\makebox[\idlength][r]{65}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm AutoImply$

\makebox[\idlength][r]{66}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Contrapositive$

\makebox[\idlength][r]{67}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm FirstConjunct$

\makebox[\idlength][r]{68}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm SecondConjunct$

\makebox[\idlength][r]{69}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm FromContradiction$

\makebox[\idlength][r]{70}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm FromDisjuncts$

\makebox[\idlength][r]{71}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm IffCommutativity$

\makebox[\idlength][r]{72}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm IffFirst$

\makebox[\idlength][r]{73}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm IffSecond$

\makebox[\idlength][r]{74}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm ImplyTransitivity$

\makebox[\idlength][r]{75}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm JoinConjuncts$

\makebox[\idlength][r]{76}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm MP2$

\makebox[\idlength][r]{77}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm MP3$

\makebox[\idlength][r]{78}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm MP4$

\makebox[\idlength][r]{79}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm MP5$

\makebox[\idlength][r]{80}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm MT$

\makebox[\idlength][r]{81}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm NegativeMT$

\makebox[\idlength][r]{82}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Technicality$

\makebox[\idlength][r]{83}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Weakening$

\makebox[\idlength][r]{84}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm WeakenOr1$

\makebox[\idlength][r]{85}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm WeakenOr2$

\makebox[\idlength][r]{86}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Formula2Pair$

\makebox[\idlength][r]{87}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Pair2Formula$

\makebox[\idlength][r]{88}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Formula2Union$

\makebox[\idlength][r]{89}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Union2Formula$

\makebox[\idlength][r]{90}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Formula2Sep$

\makebox[\idlength][r]{91}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Sep2Formula$

\makebox[\idlength][r]{92}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm SubsetInPower$

\makebox[\idlength][r]{93}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm HelperPowerIsSub$

\makebox[\idlength][r]{94}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm PowerIsSub$

\makebox[\idlength][r]{95}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm (Switch)HelperPowerIsSub$

\makebox[\idlength][r]{96}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm (Switch)PowerIsSub$

\makebox[\idlength][r]{97}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm ToSetEquality$

\makebox[\idlength][r]{98}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm HelperToSetEquality(t)$

\makebox[\idlength][r]{99}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm ToSetEquality(t)$

\makebox[\idlength][r]{100}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm HelperFromSetEquality$

\makebox[\idlength][r]{101}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm FromSetEquality$

\makebox[\idlength][r]{102}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm HelperReflexivity$

\makebox[\idlength][r]{103}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Reflexivity$

\makebox[\idlength][r]{104}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm HelperSymmetry$

\makebox[\idlength][r]{105}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Symmetry$

\makebox[\idlength][r]{106}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm HelperTransitivity$

\makebox[\idlength][r]{107}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Transitivity$

\makebox[\idlength][r]{108}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm ERisReflexive$

\makebox[\idlength][r]{109}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm ERisSymmetric$

\makebox[\idlength][r]{110}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm ERisTransitive$

\makebox[\idlength][r]{111}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm \O{}isSubset$

\makebox[\idlength][r]{112}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm HelperMemberNot\O{}$

\makebox[\idlength][r]{113}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm MemberNot\O{}$

\makebox[\idlength][r]{114}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm HelperUnique\O{}$

\makebox[\idlength][r]{115}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Unique\O{}$

\makebox[\idlength][r]{116}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm =\!{}Reflexivity$

\makebox[\idlength][r]{117}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm =\!{}Symmetry$

\makebox[\idlength][r]{118}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Helper\!{}=\!{}Transitivity$

\makebox[\idlength][r]{119}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm \!{}=\!{}Transitivity$

\makebox[\idlength][r]{120}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm HelperTransferNotEq$

\makebox[\idlength][r]{121}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm TransferNotEq$

\makebox[\idlength][r]{122}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm HelperPairSubset$

\makebox[\idlength][r]{123}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Helper(2)PairSubset$

\makebox[\idlength][r]{124}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm PairSubset$

\makebox[\idlength][r]{125}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm SamePair$

\makebox[\idlength][r]{126}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm SameSingleton$

\makebox[\idlength][r]{127}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm UnionSubset$

\makebox[\idlength][r]{128}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm SameUnion$

\makebox[\idlength][r]{129}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm SeparationSubset$

\makebox[\idlength][r]{130}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm SameSeparation$

\makebox[\idlength][r]{131}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm SameBinaryUnion$

\makebox[\idlength][r]{132}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm IntersectionSubset$

\makebox[\idlength][r]{133}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm SameIntersection$

\makebox[\idlength][r]{134}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm AutoMember$

\makebox[\idlength][r]{135}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm HelperEqSysNot\O{}$

\makebox[\idlength][r]{136}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm EqSysNot\O{}$

\makebox[\idlength][r]{137}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm HelperEqSubset$

\makebox[\idlength][r]{138}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm EqSubset$

\makebox[\idlength][r]{139}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm HelperEqNecessary$

\makebox[\idlength][r]{140}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm EqNecessary$

\makebox[\idlength][r]{141}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm HelperNoneEqNecessary$

\makebox[\idlength][r]{142}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Helper(2)NoneEqNecessary$

\makebox[\idlength][r]{143}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm NoneEqNecessary$

\makebox[\idlength][r]{144}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm EqClassIsSubset$

\makebox[\idlength][r]{145}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm EqClassesAreDisjoint$

\makebox[\idlength][r]{146}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm AllDisjoint$

\makebox[\idlength][r]{147}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm AllDisjointImply$

\makebox[\idlength][r]{148}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm BSsubset$

\makebox[\idlength][r]{149}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm Union(BS/R)subset$

\makebox[\idlength][r]{150}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm UnionIdentity$

\makebox[\idlength][r]{151}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm EqSysIsPartition$

\makebox[\idlength][r]{152}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast
 / \ast$

\makebox[\idlength][r]{153}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast
 \cap \ast$

\makebox[\idlength][r]{154}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{1}%
\makebox[0.5em]{}%
$\rm \cup \ast$

\makebox[\idlength][r]{155}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast
 \mathrel{\cup} \ast$

\makebox[\idlength][r]{156}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{1}%
\makebox[0.5em]{}%
$\rm P(\ast
)$

\makebox[\idlength][r]{157}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{1}%
\makebox[0.5em]{}%
$\rm \{\ast
\}$

\makebox[\idlength][r]{158}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \{\ast
,\ast
\}$

\makebox[\idlength][r]{159}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \langle \ast
,\ast
\rangle$

\makebox[\idlength][r]{160}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast
 \mathrel{\in} \ast$

\makebox[\idlength][r]{161}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{3}%
\makebox[0.5em]{}%
$\rm \ast
(\ast
,\ast
)$

\makebox[\idlength][r]{162}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm ReflRel(\ast
,\ast
)$

\makebox[\idlength][r]{163}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm SymRel(\ast
,\ast
)$

\makebox[\idlength][r]{164}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm TransRel(\ast
,\ast
)$

\makebox[\idlength][r]{165}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm EqRel(\ast
,\ast
)$

\makebox[\idlength][r]{166}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{3}%
\makebox[0.5em]{}%
$\rm [\ast
 \mathrel{\in} \ast
]_{\ast
}$

\makebox[\idlength][r]{167}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm Partition(\ast
,\ast
)$

\makebox[\idlength][r]{168}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast
\!\mathrel{=}\! \ast$

\makebox[\idlength][r]{169}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast
 \mathrel{\subseteq} \ast$

\makebox[\idlength][r]{170}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{1}%
\makebox[0.5em]{}%
$\rm \dot{\neg}\, \ast$

\makebox[\idlength][r]{171}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast
 \mathrel{\notin} \ast$

\makebox[\idlength][r]{172}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast
 \mathrel{\neq} \ast$

\makebox[\idlength][r]{173}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast
\mathrel{\dot{\wedge}} \ast$

\makebox[\idlength][r]{174}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast
 \mathrel{\dot{\vee}} \ast$

\makebox[\idlength][r]{175}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast
\mathrel{\dot{\Leftrightarrow}} \ast$

\makebox[\idlength][r]{176}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm  \{ ph \mathrel{\in} \ast
\mid \ast
\}$

\vspace{2ex}

{\em \href {http://www.diku.dk/~grue/logiweb/20060417/logiweb/doc/compiler/index.html}{The pyk compiler},
version 0.grue.20060417+
by
\href {http://www.diku.dk/~grue/index.html}{Klaus Grue}\\
\href {http://www.diku.dk/~grue/logiweb/20060417/logiweb/doc/misc/time.html}{GRD-2006-06-22.UTC:06:16:07.249053} = 
\href {http://www.diku.dk/~grue/logiweb/20060417/logiweb/doc/misc/time.html}{MJD-53908.TAI:06:16:40.249053} = 
\href {http://www.diku.dk/~grue/logiweb/20060417/logiweb/doc/misc/time.html}{LGT-4657673800249053e-6}
}

\end{document}

