Elementary Classes of Relations

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

Abstract

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.

Keywords

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.

Preview

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