subtheory noun1 •A theory forming part of a larger theory.We recover the system of Bonchi et al as a subtheory in the prime power dimensional case, but the more general theory does not arise from a distributive law. — 2016 formssubtheories
