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|\).
6 October 2026
Proposition 1 Let \(\Monoid\) be a countably-infinite left-cancellative monoid with discrete topology, then its left-Haar measure is the counting measure \(|\cdot|\).