Item:Q8291: Difference between revisions
Created a new Item: union of several sets |
Created claim: defining formula (P333): \bigcup_{i = 1}^n A_i = \{x \mid x \in A_1 \lor \ldots \lor x \in A_n\} |
||
| (One intermediate revision by the same user not shown) | |||
| Property / subclass of | |||
| Property / subclass of: set operation / rank | |||
Normal rank | |||
| Property / defining formula | |||
\bigcup_{i = 1}^n A_i = \{x \mid x \in A_1 \lor \ldots \lor x \in A_n\} | |||
| Property / defining formula: / rank | |||
Normal rank | |||
