subtheory

English

Etymology

From sub- +‎ theory.

Noun

subtheory (plural subtheories)

  1. A theory forming part of a larger theory.
    • 2016, Ross Duncan, Kevin Dunne, “Interacting Frobenius Algebras are Hopf”, in arXiv[1]:
      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.
  • subtheoretical