|
|
A367772
|
|
Number of sets of nonempty subsets of {1..n} satisfying a strict version of the axiom of choice in more than one way.
|
|
11
|
|
|
|
OFFSET
|
0,4
|
|
COMMENTS
|
The axiom of choice says that, given any set of nonempty sets Y, it is possible to choose a set containing an element from each. The strict version requires this set to have the same cardinality as Y, meaning no element is chosen more than once.
|
|
LINKS
|
|
|
FORMULA
|
|
|
EXAMPLE
|
Non-isomorphic representatives of the a(3) = 23 set-systems:
{{1,2}}
{{1,2,3}}
{{1},{2,3}}
{{1},{1,2,3}}
{{1,2},{1,3}}
{{1,2},{1,2,3}}
{{1},{2,3},{1,2,3}}
{{1,2},{1,3},{2,3}}
{{1,2},{1,3},{1,2,3}}
|
|
MATHEMATICA
|
Table[Length[Select[Subsets[Subsets[Range[n]]], Length[Select[Tuples[#], UnsameQ@@#&]]>1&]], {n, 0, 3}]
|
|
CROSSREFS
|
For at least one choice we have A367902.
These set-systems have ranks A367909.
Cf. A059201, A102896, A133686, A283877, A306445, A323818, A355741, A367770, A367862, A367869, A367901, A367905.
|
|
KEYWORD
|
nonn,more
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|