37 | | In this ticket, we extend `declare_union` as follows: |
38 | | - support more than two arguments |
39 | | - support 0 arguments (alias: `declare_empty()`) - a subset is empty if it has an empty open cover |
40 | | - support 1 argument (alias: `declare_equal(other)`) |
41 | | |
42 | | We also introduce |
43 | | - `declare_disjoint(other)` - same as `self.intersection(other).declare_empty()` |
44 | | - `declare_disjoint_union(*sets)` |
45 | | |
46 | | Furthermore, something went wrong with the commutativity of the union. This should be investigated, too. |
| 37 | #31764 adds support for arbitrary unions. But whether this is used or not, something is wrong with the commutativity of the union. This should be investigated, too. |