https://en.wikipedia.org/wiki/Transitive_relation.

Are there any theoretical reasons out there which show us that why do we still not have a closed-form expression for transitivity counting. If you consider counting n-element binary relations of different types in the wiki article, then only transitivity seems to be missing(as partial order and preorder subsume transitivity). Are there any properties of transitivity that demonstrate the hardness of this problem.