4693632domain: 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 consequent boundary, i.e., I(x,y) >= y for all x,y in L_n.at n=4A367540