Defined in gylterud2011-symmetric-containers-thesis.
This notion defines contianers in which their shape may be a sub-Groupoid of .
According to altenkirch2024-categorified-containers, the shape should have objects corresponding to the natural numbers.