definition of wedge sum of pointed sets
Topics
About: set
The table of contents of this article
Starting Context
- The reader knows a definition of set.
Target Context
- The reader will have a definition of wedge sum of pointed sets.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
\( \{(S_\alpha, p_\alpha) \vert \alpha \in A\}\): \(\subseteq \{\text{ the pointed sets }\}\), \(A \in \{\text{ the possibly uncountable index sets }\}\)
\(*\vee_{\alpha \in A} (S_\alpha, p_\alpha)\): \(= \biguplus_{\alpha \in A} S_\alpha\) with \(\{p_\alpha \vert \alpha \in A\}\) identified as \([p_\alpha]\), where \(\biguplus\) denotes the disjoint union
//
Conditions:
//
