Template:Number of relations
From Wikipedia, the free encyclopedia
Number of n-element binary relations of different types | ||||||||
---|---|---|---|---|---|---|---|---|
n | all | transitive | reflexive | preorder | partial order | total preorder | total order | equivalence relation |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
1 | 2 | 2 | 1 | 1 | 1 | 1 | 1 | 1 |
2 | 16 | 13 | 4 | 4 | 3 | 3 | 2 | 2 |
3 | 512 | 171 | 64 | 29 | 19 | 13 | 6 | 5 |
4 | 65536 | 3994 | 4096 | 355 | 219 | 75 | 24 | 15 |
OEIS | A002416 | A006905 | A053763 | A000798 | A001035 | A000670 | A000142 | A000110 |