subprop

From sub- +‎ prop.

subprop (plural subprops)

1. subproposition
2. (mathematics) A prop (structure that supports a theory) that is part of another prop.
   • 2015, Sergei Merkulov, Thomas Willwacher, “Props of ribbon graphs, involutive Lie bialgebras and moduli spaces of curves”, in arXiv‎^[1]:

     Using a new prop of ribbon graphs and the fact that it contains the prop of involutive Lie bialgebras as a subprop we find new algebraic structures on the classical ribbon graph complex computing ${\displaystyle H^{\bullet }({\mathcal {M}}_{g,n})}$.