Item:Q6369: Difference between revisions
Created a new Item: intersection of several sets |
Created claim: defining formula (P333): \bigcap_{i = 1}^n A_i = \{x \mid x \in A_1 \land \ldots \land 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 | |||
\bigcap_{i = 1}^n A_i = \{x \mid x \in A_1 \land \ldots \land x \in A_n\} | |||
| Property / defining formula: / rank | |||
Normal rank | |||
