Item:Q8291: Difference between revisions

Revision as of 17:38, 3 May 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,457 edits ‎Created claim: subclass of (P1): set operation (Q6368) ← Older edit	Latest revision as of 17:38, 3 May 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,457 edits ‎Created claim: defining formula (P333): \bigcup_{i = 1}^n A_i = \{x \mid x \in A_1 \lor \ldots \lor x \in A_n\}
	Property / defining formula
		$\bigcup _{i=1}^{n}A_{i}=\{x\mid x\in A_{1}\lor \ldots \lor x\in A_{n}\}$ `\bigcup_{i = 1}^n A_i = \{x \mid x \in A_1 \lor \ldots \lor x \in A_n\}`
	Property / defining formula: $\bigcup _{i=1}^{n}A_{i}=\{x\mid x\in A_{1}\lor \ldots \lor x\in A_{n}\}$ / rank
		Normal rank