en:example
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| en:example [2025/04/08 03:19] – [1.1 TARSKI.miz] superuser | en:example [2025/04/08 03:19] (current) – [1.1.4 Definition of the Union of Sets] superuser | ||
|---|---|---|---|
| Line 167: | Line 167: | ||
| </ | </ | ||
| - | For any \(X\), the functor (operation) \(\cup X\) is defined as the mapping that associates to \(X\) the set satisfying, for any \(x\) に対して | + | For any \(X\), the functor (operation) \(\cup X\) is defined as the mapping that associates to \(X\) the set satisfying, for any \(x\) |
| \[(x \in \cup X) \Leftrightarrow((\exists Y)(x \in Y \land Y \in X)).\] | \[(x \in \cup X) \Leftrightarrow((\exists Y)(x \in Y \land Y \in X)).\] | ||
en/example.1744082345.txt.gz · Last modified: 2025/04/08 03:19 by superuser