Pointwise operations on ordered algebraic objects #
This file contains lemmas about the effect of pointwise operations on sets with an order structure.
sSup (s • t) = sSup s • sSup t and
sInf (s • t) = sInf s • sInf t hold as well but
CovariantClass is currently not polymorphic enough to state it.