cp's OEIS Frontend

First differs from A330110 in lacking 141 and having 180, with corresponding set-systems 141: {{1},{3},{4},{1,2}} and 180: {{4},{1,2},{1,3},{2,3}}.

A set-system is a finite set of finite nonempty set of positive integers.

We define the MM-normalization of a multiset of multisets to be obtained by first normalizing so that the vertices cover an initial interval of positive integers, then applying all permutations to the vertex set, and finally taking the representative with the smallest MM-number.

For example, 15301 is the MM-number of {{3},{1,2},{1,1,4}}, which has the following normalizations together with their MM-numbers:

Brute-force: 43287: {{1},{2,3},{2,2,4}}

Lexicographic: 43143: {{1},{2,4},{2,2,3}}

VDD: 15515: {{2},{1,3},{1,1,4}}

MM: 15265: {{2},{1,4},{1,1,3}}

A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every set-system has a different BII-number. For example, 18 has reversed binary expansion (0,1,0,0,1), and since the binary indices of 2 and 5 are {2} and {1,3} respectively, the BII-number of {{2},{1,3}} is 18. Elements of a set-system are sometimes called edges.

A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798. The multiset of multisets with MM-number n is formed by taking the multiset of prime indices of each part of the multiset of prime indices of n. For example, the prime indices of 78 are {1,2,6}, so the multiset of multisets with MM-number 78 is {{},{1},{1,2}}.

A multiset partition is fully chiral if every permutation of the vertices gives a different representative. The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

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.

Excludes all set-systems with more edges than covered vertices, but this condition is not sufficient.

The dual of a multiset partition has, for each vertex, one block consisting of the indices (or positions) of the blocks containing that vertex. For example, the dual of {{1,2},{2,3}} is {{1},{1,2},{2}}. The T_0 condition means that the dual is strict (no repeated edges).

Alternatively, these are unlabeled set-systems covering n vertices whose dual is a (strict) antichain. A set-system is a finite set of finite nonempty sets. The dual of a set-system has, for each vertex, one edge consisting of the indices (or positions) of the edges containing that vertex. For example, the dual of {{1,2},{2,3}} is {{1},{1,2},{2}}. An antichain is a set-system where no edge is a subset of any other.

Row sums give A003465.

From Manfred Boergens, Apr 11 2024: (Start)

If more than half of the nonempty subsets of [n] are drawn their union covers [n] (see Formula). - The proof is based on 2^(n-1)-1 being the number of nonempty subsets of [n] with one fixed element of [n] missing.

For covers which may include one empty set see A163353.

For disjoint covers see A008277.

For disjoint covers which may include one empty set see A256894 (amendment by Manfred Boergens, Mar 09 2025). (End)

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.

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.