Right-sorted examples are called common nets.
https://en.wikipedia.org/wiki/Common_net
Solid is not allowed to self-intersect.
Net corresponds do a unique solid vs. net can be folded into multiple different solids.
Leo Crabbe