Does "this is a routine chapter" mean that there is no creativity in this chapter?
Context:
This is a routine chapter. There is almost nothing creative here. I just generalize theorems about funcoids to the maximum extent for (defined below) preserving the proof idea. The main idea behind this chapter is to find weakest theorem conditions enough for the same theorem statement as for above theorems for funcoids.
For these who know pointfree topology: Pointfree topology notions of frames and locales is a non-trivial generalization of topological spaces. Pointfree funcoids are different: I just replace the set of filters on a set with an arbitrary poset, this readily gives the definition of , no need of creativity here.
