Помогите, пожалуйста, решить такую задачу (или поскажите источники, где рассматривается что-то хоть чуть-чуть похожее):
Пусть задано некое конечное множество A из n элементов. Кол-во различных бинарных отношений над ним, очевидно,

. А каково кол-во тех из них, которые обладают свойством транзитивности?