Definition:Nest of Mappings

From ProofWiki
Jump to navigation Jump to search

Definition

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$


Also see

  • Results about nests of mappings can be found here.


Sources