union of several sets (Q8291): Difference between revisions
Jump to navigation
Jump to search
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 |
Latest revision as of 17:38, 3 May 2023
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | union of several sets |
No description defined |
Statements
0 references