Discussing a specific subgroup, for each element in the group, there are only two states: in/not in the
Thanks