This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A344116 #25 Aug 24 2022 14:38:21 %S A344116 1,3,14,7,58,506,15,242,4060,65512,31,994,32618,1048336,33554312,63, %T A344116 4034,261604,16775656,1073740024,68719476016,127,16258,2095346, %U A344116 268427056,34359721568,4398046495984,562949953416272,255,65282,16771420,4294926472,1099511501776,281474976519136,72057594037786816,18446744073709511296 %N A344116 Triangle read by rows: T(n,k) is the number of relations from an n-element set to a k-element set that are not onto functions. %H A344116 Michael De Vlieger, <a href="/A344116/b344116.txt">Table of n, a(n) for n = 1..1275</a> (rows n = 1..50, flattened) %H A344116 Mohammad K. Azarian, <a href="https://doi.org/10.12988/imf.2022.912321">Remarks and Conjectures Regarding Combinatorics of Discrete Partial Functions</a>, Int'l Math. Forum (2022) Vol. 17, No. 3, 129-141. %F A344116 T(n,k) = 2^(n*k) - k!*Stirling2(n,k). %F A344116 T(n,k) = A344110(n,k) - A131689(n,k). %e A344116 For T(2,2), the number of relations is 2^4 and the number of onto functions is 2, so 2^4 - 2 = 14. %e A344116 Triangle T(n,k) begins: %e A344116 1 %e A344116 3 14 %e A344116 7 58 506 %e A344116 15 242 4060 65512 %e A344116 31 994 32618 1048336 33554312 %t A344116 TableForm[Table[2^(n*k) - Sum[Binomial[k, k - i] (k - i)^n*(-1)^i, {i, 0, k}], {n, 5}, {k, n}]] %o A344116 (PARI) T(n,k) = 2^(n*k) - k!*stirling(n, k, 2); \\ _Michel Marcus_, Jun 26 2021 %Y A344116 Cf. A000312, A002416, A036679, A101030, A131689, A199656, A344110, A344112, A344113, A344115. %K A344116 easy,nonn,tabl %O A344116 1,2 %A A344116 _Mohammad K. Azarian_, Jun 07 2021