108295846domain: NAppears in sequencesNumber of nonisomorphic systems enumerated by A102896; that is, the number of inequivalent closure operators (or Moore families).at n=6A193674