Having seen many examples of spaces, operators, and adjoints, we should now see more formal definitions because abstraction helps us push these concepts to their limits.
