OFFSET
0,4
COMMENTS
In a set system, two vertices are equivalent if in every block the presence of the first is equivalent to the presence of the second. The T_0 condition means that there are no equivalent vertices.
The weight of a set system is the sum of sizes of its parts. Weight is generally not the same as number of vertices.
EXAMPLE
Non-isomorphic representatives of the a(1) = 1 through a(5) = 7 set systems:
1: {{1}}
2: {{1},{2}}
3: {{2},{1,2}}
{{1},{2},{3}}
4: {{1,3},{2,3}}
{{1},{2},{1,2}}
{{1},{3},{2,3}}
{{1},{2},{3},{4}}
5: {{1},{2,4},{3,4}}
{{2},{3},{1,2,3}}
{{2},{1,3},{2,3}}
{{3},{1,3},{2,3}}
{{1},{2},{3},{2,3}}
{{1},{2},{4},{3,4}}
{{1},{2},{3},{4},{5}}
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Gus Wiseman, Sep 23 2018
STATUS
approved