  We define a notion of $\infty$-properads that generalises $\infty$-operads by
allowing operations with multiple outputs. Specializing to the case where each
operation has a single output provides a simple new perspective on
$\infty$-operads, but at the same time the extra generality allows for examples
such as bordism categories. We also give an interpretation of our
$\infty$-properads as presheaves on a category of graphs by comparing them to
the Segal $\infty$-properads of Hackney-Robertson-Yau. Combining these two
perspectives yields a flexible tool for doing higher algebra with operations
that have multiple inputs and outputs. The key ingredient to this paper is the
notion of an equifibered map between $\mathbb{E}_\infty$-monoids, which is a
well-behaved generalisation of free maps. We also use this to prove facts about
free $\mathbb{E}_\infty$-monoids, for example that free
$\mathbb{E}_\infty$-monoids are closed under pullbacks along arbitrary maps.
