zlacker

I find their use of the word "subgroup" here to be annoying, because a subgroup under their semantics "inherits" members from the group it's included in, i.e. the cardinality of a subgroup is _larger_ than the cardinality of its parent.