Elementary Classes of Relations
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.
KeywordsEquivalence Relation Binary Relation Unary Relation Finite Restriction Elementary Classis
Unable to display preview. Download preview PDF.