Operation_is_reversible_and_the_whole_area_→_subgroup