+% The set of all positive operators on its argument. This uses the
+% same magic as \boundedops to accept either one or two arguments. If
+% one argument is given, the domain and codomain are equal and the
+% positive operators fix a subset of that space. When two arguments
+% are given, the positive operators send the first argument to a
+% subset of the second.
+\newcommand*{\posops}[2][]{
+ \pi\of{ {#2}
+ \if\relax\detokenize{#1}\relax
+ {}%
+ \else
+ {,{#1}}%
+ \fi
+ }
+}
+