Definition of "subtheory"

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, Ross Duncan, Kevin Dunne, “Interacting Frobenius Algebras are Hopf”, in arXiv‎