Elementary Classes of Relations

  • Bruno Poizat
Part of the Universitext book series (UTX)


If E is a set and m a positive integer, we call a subset R of E m an m-ary relation with universe E. If the m-tuple \( \vec a = (a_1 ,...,a_m )\) in E belongs to R, we say that it satisfies the relation R; otherwise, a does not satisfy R. The integer m is called the arity of the relation.


Equivalence Relation Binary Relation Unary Relation Finite Restriction Elementary Classis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2000

Authors and Affiliations

  • Bruno Poizat
    • 1
  1. 1.Département des MathématiquesUniversite Claude Bernard Lyon IVilleurbanne CedexFrance

Personalised recommendations