definition of set elements minus set
Topics
About: set
The table of contents of this article
- Starting Context
- Target Context
- Orientation
- Main Body
- 1: Structured Description
- 2: Natural Language Description
- 3: Note
Starting Context
- The reader knows a definition of power set of set.
- The reader knows a definition of union of set.
Target Context
- The reader will have a definition of set elements minus set.
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'\): \(\in \{\text{ the sets }\}\)
\( S\): \(\in \{\text{ the sets }\}\)
\(*S' \setminus_e S\): \(= \{p \in Pow (\cup S') \vert \exists p' \in S' (p = p' \setminus S)\}\), \(\in \{\text{ the sets }\}\)
//
Conditions:
//
2: Natural Language Description
For any set, \(S'\), and any set, \(S\), the set, \(S' \setminus_e S = \{p \in Pow (\cup S') \vert \exists p' \in S' (p = p' \setminus S)\}\)
3: Note
More informally, \(S' \setminus_e S = \{p' \setminus S \vert p' \in S'\}\): \(S\) is subtracted from each element of \(S'\). Note that that expression may contain duplicate elements: \(p' \setminus S = p'' \setminus S\) is possible for some \(p' \neq p'' \in S'\), which does not make the expression invalid (if not so desirable) though, because the definition of set just automatically eliminates any duplications. We have adopted the formal expression because of the undesirability and also in order to employ the subset axiom.
\(S' \setminus_e S\) is indeed a set: \(Pow (\cup S')\) is a set by the union axiom and the power set axiom; \(\exists p' \in S' (p = p' \setminus S)\) is a legitimate formula for the subset axiom.
"set elements minus set" is not any prevalent term, but as we have not seen any prevalent term for the concept, we had to concoct one. "elements minus" means the operator that creates a set from the minuend and the subtrahend. Likewise, \(\setminus_e\) is not any prevalent notation.
