ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Relation
▼ N-ary relation
Definition D5494
Set of N-ary relations
Results
▶ R4309: Number of N-ary relations on a finite cartesian product
▶ R4310: Number of N-ary relations on a finite set