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 Em 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.

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