A367434 - cp's OEIS frontend

A367434 Number of discrete implications I:L_n^2-> L_n defined on the finite chain L_n={0,1,...n}, which satisfy the ordering principle, i.e., I(x,y)=n if and only if x<=y, with x,y in L_n.

n	a(n)
1	1
2	4
3	70
4	4125
5	803088
6	516241856
7	1097667526748
8	7733677937945025
9	180801869068010677500
10	14039958885548006432007000
11	3624052564790121589865007580800
12	3111116716392548007169585391982775200
13	8885709622433787461657425956670165208100240
14	84456895620767739860514483200734788327292908270424

[1, 4, 70, 4125, 803088, 516241856, 1097667526748, 7733677937945025, 180801869068010677500, 14039958885548006432007000, 3624052564790121589865007580800, 3111116716392548007169585391982775200, 8885709622433787461657425956670165208100240, 84456895620767739860514483200734788327292908270424]

cp's OEIS Frontend

A367434 Number of discrete implications I:L_n^2-> L_n defined on the finite chain L_n={0,1,...n}, which satisfy the ordering principle, i.e., I(x,y)=n if and only if x<=y, with x,y in L_n.

Table of values

List of values