union intersection complement of groups