Support for semigroups/parent/element/...