Construction of an optimal envelope for a cone of nonnegative functions with monotonicity properties

We study the problem of constructing a minimal quasi-Banach ideal space containing a given cone of nonnegative functions with monotonicity properties. The construction employs nondegenerate operators. We present general results on constructing optimal envelopes consistent with an order relation and obtain specifications of these constructions for various cones and various order relations. We also address the issue of order covering and order equivalence of cones.