Quasiorder closure

Definition
The quasiorder closure is an operator from the function property space that takes as input a function property, and outputs a function property. If the function property it inputs is $$p$$, then the function property it outputs is the property of being any function that preserves the quasiorder given by functions in $$p$$.