Reunion of disjoint stable sets in a graph
138643
Prove that at most $2k+1$ independent sets form the set of vertices of a graph, where $k$ is the maximum degree.
111954
Computing the cardinality of a combinatorial set
83872
Isomorphisms for graphs with loops and multiple edges
140199
Proof that disjoint cycles commute
140044
A set union find algorithm
19807
Connected graph with colored edges
30231
The boundary of union is the union of boundaries when the sets have disjoint closures
99806
Given an undirected Graph
11383
Disjoint compact sets in a Hausdorff space can be separated
36184
Countability of disjoint intervals
55661
Existence of two disjoint closed sets with zero infimal distance
117479
Mutual set of representatives for left and right cosets: what about infinite groups?
96803
Hall's marriage theorem in bipartite graph
56092
What is complexity of this max-edge subgraph problem?
5448
Finding the closure of some subsets of the ordered square
126499
Proofing a Reachable Node Algorithm for Graphs
117658
A set with n elements has 2^n subsets