Category:Nests of Mappings

From ProofWiki

Jump to navigation Jump to search

This category contains results about Nests of Mappings.

A nest of mappings is a nest whose elements are all mappings.

The subset relation which forms the (total) ordering on the mappings is defined as subset relation on mappings:

$f \subseteq g \iff \forall x \in \Dom f: \map f x = \map g x$

Subcategories

This category has the following 4 subcategories, out of 4 total.

D

Domain of Union of Nest of Mappings is Union of Class of Domains‎ (2 P)

I

Image of Union of Nest of Mappings is Union of Class of Images‎ (2 P)

U

Union of Nest of Injections is Injection‎ (2 P)
Union of Nest of Mappings is Mapping‎ (2 P)

Pages in category "Nests of Mappings"

The following 4 pages are in this category, out of 4 total.

D

Domain of Union of Nest of Mappings is Union of Class of Domains

I

Image of Union of Nest of Mappings is Union of Class of Images

U

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Nests_of_Mappings&oldid=583593"