Category:Nets (Set Theory)

From ProofWiki
Jump to navigation Jump to search

This category contains results about Nets (Set Theory).
Definitions specific to this category can be found in Definitions/Nets (Set Theory).

Let $\struct {S, \preceq}$ be a directed set.

Let $T$ be a set.

Let $f: S \to T$ be a mapping.


Then $f$ is a net in $T$.