Definition 4.3.1 (Net). Let $X$ be a set and $A$ be an upward-directed set, then a net in $X$ is a mapping $A \to X$, denoted $\net{x}\subset X$.
Definition 4.3.1 (Net). Let $X$ be a set and $A$ be an upward-directed set, then a net in $X$ is a mapping $A \to X$, denoted $\net{x}\subset X$.