5464753020domain: NAppears in sequencesNumber of discrete implications I:L_n^2-> L_n defined on the finite chain L_n={0,1,...n}, which satisfy the identity principle, i.e., I(x,x)=n for all x in L_n.at n=5A367541