Category:Image of Intersection under Mapping
Jump to navigation
Jump to search
This category contains pages concerning Image of Intersection under Mapping:
Let $S$ and $T$ be sets.
Let $f: S \to T$ be a mapping.
Let $S_1$ and $S_2$ be subsets of $S$.
Then:
- $f \sqbrk {S_1 \cap S_2} \subseteq f \sqbrk {S_1} \cap f \sqbrk {S_2}$
This can be expressed in the language and notation of direct image mappings as:
- $\forall S_1, S_2 \in \powerset S: \map {f^\to} {S_1 \cap S_2} \subseteq \map {f^\to} {S_1} \cap \map {f^\to} {S_2}$
Pages in category "Image of Intersection under Mapping"
The following 8 pages are in this category, out of 8 total.
I
- Image of Intersection under Mapping
- Image of Intersection under Mapping/Examples
- Image of Intersection under Mapping/Examples/First Projection on Subsets of Cartesian Natural Number Space
- Image of Intersection under Mapping/Examples/Square Function
- Image of Intersection under Mapping/Family of Sets
- Image of Intersection under Mapping/General Result
- Image of Intersection under Mapping/Proof 1
- Image of Intersection under Mapping/Proof 2