▼ | Set of symbols |
▼ | Alphabet |
▼ | Deduction system |
▼ | Theory |
▼ | Zermelo-Fraenkel set theory |
▼ | Set |
▼ | Binary cartesian set product |
▼ | Binary relation |
▼ | Relation |
▼ | N-ary relation |
▶ | R4309: Number of N-ary relations on a finite cartesian product |
▶ | R4310: Number of N-ary relations on a finite set |