https://9lib.net/document/1y9r6ldy-fibred-permutation-sets-idempotents-units-monomial-burnside-rings.html