Next:
Basic definitions
Up:
User's manual of the
Previous:
Projections
Contents
Lexicographic ordering
Sums Christophe Raffalli, Paul Roziere Equipe de Logique, Université Chambéry, Paris VII
Christophe Raffalli 2005-03-02
![\begin{definition}[]~
\begin{center}%
\afdmath{}\text{\rm lex}\hspace{0.2em} \te...
...erb{Verb}lex R1 R2 c1 c2\marginpar{\UseVerb{Verb}}\end{center}\end{definition}](img119.png)