Equidecomposable subsets under a group action

ID: equidecomposable-subsets-under-a-group-action

For a group acting on a set , subsets are -equidecomposable when there are finite partitions and and elements with for every .

New to topics? Read the docs here!