subtheory (theory + sub-; below_under)
A theory forming part of a larger theory