We introduce the notion of a matron M = {Mn,m} whose submodules M∗,1 and M1,∗ are non-Σ operads. We construct a functor from PROP to matrons and its inverse, the universal enveloping functor. We define the free matron H∞, generated by a singleton in each bidegree (m, n) 6= (1, 1), and define an A∞-bialgebra as an algebra over H∞. We realize H∞ as the cellular chains of polytopes {KKn,m = KKm,n}...