Item:Q6369: Difference between revisions
Created claim: subclass of (P1): set operation (Q6368) |
Created claim: defining formula (P333): \bigcap_{i = 1}^n A_i = \{x \mid x \in A_1 \land \ldots \land x \in A_n\} |
||
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 |