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 A354847 #10 Jun 17 2022 15:57:51
%S A354847 1,2,6,32,318,5552,159126,7137272,484656318,48628712192,7076367228486,
%T A354847 1471524821492552,432066672598422318,177354805872559516112,
%U A354847 100928502119652298356726,79062670900333522721886872,84733519638342583432646258718,123582326772837258238596562116512,244150974458417420635453430918487846
%N A354847 Number of binary relations on [n] that are idempotent and reduced.
%C A354847 The Boolean matrix representing a binary relation on [n] is row (column) reduced if no nonzero row (column) is the sum of other rows (columns). It is reduced if it is both row reduced and column reduced.
%C A354847 a(n) is the number of partial order relations on Y, where Y is some subset of [n].
%H A354847 R. J. Plemmons and M. T. West, <a href="http://dx.doi.org/10.2140/pjm.1970.35.743">On the semigroup of binary relations</a>, Pacific Journal of Mathematics, vol 35, No. 3, 1970. Theorem 2.4
%F A354847 E.g.f.: A(x)*exp(x) where A(x) is the e.g.f. for A001035.
%F A354847 a(n) = Sum_{k=0..n} binomial(n,k)*A001035(n-k).
%t A354847 nn = 18; A001035 = Cases[Import["https://oeis.org/A001035/b001035.txt",
%t A354847 "Table"], {_, _}][[All, 2]];A[x_] = Sum[A001035[[n + 1]] x^n/n!, {n, 0, nn}];
%t A354847 Range[0, nn]! CoefficientList[Series[A[x] Exp[x], {x, 0, nn}], x]
%Y A354847 Cf. A001035, A121337.
%K A354847 nonn
%O A354847 0,2
%A A354847 _Geoffrey Critzer_, Jun 08 2022