1680384domain: NAppears in sequencesNumber of total orders extending inclusion on P({1,...,n}).at n=4A046873Distinct values in A114717 in order of appearance.at n=13A119841