#subset #proper subset #abstract set #color group