Неожиданно нашел ответ на Вики

.
Counting transitive relations писал(а):
Unlike other relation properties, no general formula that counts the number of transitive relations on a finite set (sequence A006905 in OEIS) is known.
Формулы пока не известно.
Начальные члены последовательности:
Код:
1, 2, 13, 171, 3994, 154303, 9415189, 878222530, 122207703623, 24890747921947