| 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. |
