Definition talk:Supremum of Mapping

As suggested on Definition talk:Supremum of Real Function (now refactored) this has been due for some time. --prime mover (talk) 21:02, 1 March 2013 (UTC)

We may want to take care of the possibility that $(S,\preceq)$ is an ordered set, $f$ is defined on $S' \subseteq S$, and we seek the supremum of $f$ in $S$. --Dfeuer (talk) 21:09, 1 March 2013 (UTC)

We may want to take care of the possibility that $f$ is defined on $S$, and we seek its supremum on $S' \subseteq S$. --Dfeuer (talk) 21:13, 1 March 2013 (UTC)