Monoid
Proposition 1 Let \(\Monoid\) be a countably-infinite left-cancellative monoid with discrete topology, then its left-Haar measure is the counting measure \(|\cdot|\).
Proposition 1 Let \(\Monoid\) be a countably-infinite left-cancellative monoid with discrete topology, then its left-Haar measure is the counting measure \(|\cdot|\).