I'm writing a formal math text, a long expository paper (i.e. a short book). The text is divided in sections and subsections (no chapters).
In order to present the subsection X.Y (here X and Y are two natural numbers) I need to include a very general theory $\mathcal T$ which is very far from the purpose of my text. There are basically two ways to write $\mathcal T$.
- (I don't like this one). It consists in writing the subsection X.(Y-1) which contains only $\mathcal T$. This would interrupt the harmony of the text because this subsection would include a piece of information appearing out of the blue. I hate when in books I see sentences like "In the following 100 pages I'll do this construction because it will be useful very soon".
- Another reasonable choice could be an appendix (at the end of the text) containing $\mathcal T$. But also here there is an issue in my opinion: the subsection X.Y then will rely entirely on the appendix. So, the reader would be in the strange situation where he is obliged to read the appendix, in order to go through the rest of the text. This is not very common among math books, because usually appendices are not part of the main structure of the text.
What would you do in my position?