User:IssaRice/Restricting some class of mathematical objects

I'm not sure if this has a name, but I'll describe the pattern I'm thinking of and give an example.

1. We start with some general class of mathematical objects, and we want this class to satisfy some property.
2. We find out that the class does not satisfy the property.
3. We restrict the class to some subclass so that the subclass satisfies the property.

Now, I think pedagogically, it's important after step (3) to go back to step (2) and show why the same argument (that the property fails) doesn't work for the subclass.

Examples (from Li and Vitanyi):

1. We start with the class of all partial functions over the nonnegative integers. We want this class to have some function that is additively optimal.
2. We find out that there is no additively optimal partial function. (Example 2.0.1)
3. We restrict the class to the class of partial recursive functions.