Hacker News new | ask | show | jobs
by abeppu 1097 days ago
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.