Beer, Gerald; Rodríguez López, Jesús(Michigan State University Press, 2010)
A function gg between directed sets ⟨Σ,⪰′⟩⟨Σ,⪰′⟩ and ⟨Λ,⪰⟩⟨Λ,⪰⟩ is called \emph{ultimately increasing} if for each σ1∈Σσ1∈Σ there exists σ2⪰′σ1σ2⪰′σ1 such that σ⪰′σ2⇒g(σ)⪰g(σ1)σ⪰′σ2⇒g(σ)⪰g(σ1). A subnet of a net aa defined ...