Number of nonisomorphic systems enumerated by A102896; that is, the number of inequivalent closure operators (or Moore families).
A193674
Number of nonisomorphic systems enumerated by A102896; that is, the number of inequivalent closure operators (or Moore families).
Terms
- a(0) =1a(1) =2a(2) =5a(3) =19a(4) =184a(5) =14664a(6) =108295846
External references
- oeis: A193674