  A variety of possible extensions of mappings between posets to their Dedekind
order completion is presented. One of such extensions has recently been used
for solving large classes of nonlinear systems of partial differential
equations with possibly associated initial and/or boundary value problems.
