in reply to Re: sorting and grouping by
in thread sorting and grouping by

-> seems to mean "has for subsets", since B->{C, D} seems to mean "C" and "D" are wholly contained in "B".