216591692domain: NAppears in sequencesNumber of nonisomorphic systems enumerated by A102897; that is, the number of inequivalent Horn functions, under permutation of variables.at n=6A193675Number of unlabeled set-systems (without {}) on n vertices that are closed under intersection.at n=7A326904